SATA_HCCFG_INT_REG
WR4(sc, SATA_HCCFG_INT_REG, ~0U);
val = RD4(sc, SATA_HCCFG_INT_REG);
WR4(sc, SATA_HCCFG_INT_REG, val);