AHCI_REG_IS      1013 dev/pci/ahci.c 	ahci_write(sc, AHCI_REG_IS, 1 << port);
AHCI_REG_IS      1045 dev/pci/ahci.c 		ahci_write(sc, AHCI_REG_IS, 1 << port);
AHCI_REG_IS      1563 dev/pci/ahci.c 	is = ahci_read(sc, AHCI_REG_IS);
AHCI_REG_IS      1588 dev/pci/ahci.c 	ahci_write(sc, AHCI_REG_IS, ack);