mount misinforming

[Alex Zimnitsky]

Hello, hackers

in the output given by mount some entries may be misinforming when an fs
is mounted in a chrooted environment.

here is the case:

#mkdir /var/somedir
#cd /usr/src
#make DESTDIR=/var/somedir buildworld installworld distribution

#chroot /var/somedir
#mount -t devfs devfs /dev
#mount

two entries for /dev are listed - one for chrooted and one for parent
environment. may be parent environment's /dev shoud be marked somehow,
may be it should not be listed at all. 

#^D
#mount

two entries for /dev are listed. one of them really should
be /var/somedir/dev

the questions are

1) should the output be changed?
2) is there something in the kernel design which prevents it from being
done easily?

Alex