ahci_hba_reset
static int ahci_hba_reset(ahci_ctl_t *);
if (ahci_hba_reset(ahci_ctlp) != AHCI_SUCCESS) {