sata_process_device_attached
sata_process_device_attached(sata_hba_inst,
static void sata_process_device_attached(sata_hba_inst_t *, sata_address_t *);