d_devnumber        53 kern/include/device.h 	dev_t d_devnumber;	/* serial number for this device */
d_devnumber       173 kern/vfs/device.c 	statbuf->st_rdev = d->d_devnumber;
d_devnumber       119 kern/vfs/devnull.c 	dev->d_devnumber = 0; /* assigned by vfs_adddev */
d_devnumber       423 kern/vfs/vfslist.c 		dev->d_devnumber = index+1;