AHCI_GLOBAL_IS
(uint32_t *)AHCI_GLOBAL_IS(ahci_ctlp), (0x1 << port));
(uint32_t *)AHCI_GLOBAL_IS(ahci_ctlp));
(uint32_t *)AHCI_GLOBAL_IS(ahci_ctlp), (1 << port));