device_t         6078 drivers/scsi/aic7xxx/aic79xx_core.c 	ahd = device_get_softc((device_t)platform_arg);
device_t         4410 drivers/scsi/aic7xxx/aic7xxx_core.c 	ahc = device_get_softc((device_t)platform_arg);
device_t          389 drivers/video/fbdev/via/viafbdev.c 		struct device_t active_dev;