ahci_do_sync_start
if (ahci_do_sync_start(ahci_ctlp, ahci_portp, &addr,
static int ahci_do_sync_start(ahci_ctl_t *, ahci_port_t *,
rval = ahci_do_sync_start(ahci_ctlp, ahci_portp, &pmult_addr, spkt);
(void) ahci_do_sync_start(ahci_ctlp, ahci_portp, &addr, rdlog_spkt);
(void) ahci_do_sync_start(ahci_ctlp, ahci_portp, &addr, rs_spkt);