dev_t              53 kern/include/device.h 	dev_t d_devnumber;	/* serial number for this device */
dev_t              50 kern/include/kern/stat.h 	dev_t st_dev;           /* device object lives on */
dev_t              52 kern/include/kern/stat.h 	dev_t st_rdev;          /* device object is (if a device) */