203 int vndevice_root_image(char * path, char devname[], dev_t * dev_p);
208     dev_t dev,
214     dev_t dev,
218 vnunit(dev_t dev)  in vnunit()
224 vnclose(__unused dev_t dev, __unused int flags,  in vnclose()
231 vnopen(dev_t dev, int flags, __unused int devtype, __unused proc_t p)  in vnopen()
491 vnread(dev_t dev, struct uio *uio, int ioflag)  in vnread()
565 vnwrite(dev_t dev, struct uio *uio, int ioflag)  in vnwrite()
863 vnioctl(dev_t dev, u_long cmd, caddr_t data,  in vnioctl()
1095 vnioctl_chr(dev_t dev, u_long cmd, caddr_t data, int flag, proc_t p)  in vnioctl_chr()
1101 vnioctl_blk(dev_t dev, u_long cmd, caddr_t data, int flag, proc_t p)  in vnioctl_blk()
1116     dev_t dev,  in vniocattach_file()
1120 	dev_t   cdev;  in vniocattach_file()
1197     __unused dev_t dev, int in_kernel, proc_t p)  in vniocattach_shadow()
1245 vndevice_root_image(char * path, char devname[], dev_t * dev_p)  in vndevice_root_image()
1316 vnsize(dev_t dev)  in vnsize()
1371 		dev_t   dev = makedev(vndevice_bdev_major, i);  in vndevice_do_init()