AHCI_GLOBAL_GHC
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp));
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp), ghc_control);
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp));
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp));
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp), ghc_control);
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp));
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp), ghc_control);
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp));
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp), ghc_control);
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp));
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp), ghc_control);
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp));
(uint32_t *)AHCI_GLOBAL_GHC(ahci_ctlp), ghc_control);