AHCI_PORT_PxTFD

4077

(uint32_t *)AHCI_PORT_PxTFD(ahci_ctlp, port));

5072

(uint32_t *)AHCI_PORT_PxTFD(ahci_ctlp, port));

5117

(uint32_t *)AHCI_PORT_PxTFD(ahci_ctlp, port));

5437

(uint32_t *)AHCI_PORT_PxTFD(ahci_ctlp, port));

7899

(uint32_t *)AHCI_PORT_PxTFD(ahci_ctlp, port));

8570

(uint32_t *)AHCI_PORT_PxTFD(ahci_ctlp, port));