Is there a way to find out what file is configured for /dev/vnd?  I can
configure it, and I can unconfigure it, of course, but there doesn't seem
to be any way to discover how, say, /dev/vnd0 is configured.  

Even if I know the file that was used, there's no way to prove it, afaict.
 For instance, fstat(1) doesn't show the file's inode.  

In this case, I'm using 1.6 on an i386.  

Thanks.

--jkl