AHCI_REG_PI
bus_space_write_4(sc->sc_iot, sc->sc_ioh, AHCI_REG_PI, pi);
pi = ahci_read(sc, AHCI_REG_PI);
ahci_write(sc, AHCI_REG_PI, pi);