Symbol: AHCI_ADDR_SET_PMULT