ahci_write_pmult
static int ahci_write_pmult(ahci_ctl_t *, ahci_addr_t *, uint8_t, uint32_t);
if (ahci_write_pmult(ahci_ctlp, addrp, r, v) != AHCI_SUCCESS) \