device_get_softc 6078 drivers/scsi/aic7xxx/aic79xx_core.c ahd = device_get_softc((device_t)platform_arg); device_get_softc 4410 drivers/scsi/aic7xxx/aic7xxx_core.c ahc = device_get_softc((device_t)platform_arg);