AHCI_REG_GHC_AE
ahci_write(sc, AHCI_REG_GHC, AHCI_REG_GHC_AE | AHCI_REG_GHC_IE);
ahci_write(sc, AHCI_REG_GHC, AHCI_REG_GHC_AE);
ahci_write(sc, AHCI_REG_GHC, AHCI_REG_GHC_AE | AHCI_REG_GHC_IE);
if (ISSET(AHCI_REG_GHC_AE, ahci_read(sc, AHCI_REG_GHC))) {
ahci_write(sc, AHCI_REG_GHC, AHCI_REG_GHC_AE);