AHCI_PORT_PxCMD
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port),
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port),
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port),
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port),
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port),
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port), port_cmd_status);
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port),
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port),
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port),
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port), port_cmd_status);
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));
(uint32_t *)AHCI_PORT_PxCMD(ahci_ctlp, port));