ahci_read
vers = ahci_read(sc, AHCI_REG_VS);
bios_cap = ahci_read(sc, AHCI_REG_CAP);
pi = ahci_read(sc, AHCI_REG_PI);
(ahci_read(ap->ap_sc, AHCI_REG_CAP) & AHCI_REG_CAP_SCLO)
ahci_read(sc, AHCI_REG_GHC); /* flush */
ahci_read(sc, AHCI_REG_GHC); /* flush */
ahci_read(sc, AHCI_REG_GHC); /* flush */
ahci_write(sc, AHCI_REG_CAP, ahci_read(sc, AHCI_REG_CAP) | bios_cap);
ahci_read(sc, AHCI_REG_GHC); /* flush */
is = ahci_read(sc, AHCI_REG_IS);
if ((ahci_read(sc, r) & mask) != target)
if ((ahci_read(sc, r) & mask) != target)
ahci_read(ap->ap_sc, AHCI_REG_IS),
AHCI_FMT_GHC, ahci_read(sc, AHCI_REG_GHC));
u_int32_t ahci_read(struct ahci_softc *, bus_size_t);
cap = ahci_read(sc, AHCI_REG_CAP);
reg = ahci_read(sc, AHCI_REG_VS);
cap2 = ahci_read(sc, AHCI_REG_CAP2);
pi = ahci_read(sc, AHCI_REG_PI);