ahci_update_sata_registers
ahci_update_sata_registers(ahci_ctlp, port, sd);
ahci_update_sata_registers(ahci_ctlp, port,
ahci_update_sata_registers(ahci_ctlp, port,
ahci_update_sata_registers(ahci_ctlp, port,
ahci_update_sata_registers(ahci_ctlp, port,
static void ahci_update_sata_registers(ahci_ctl_t *, uint8_t, sata_device_t *);
ahci_update_sata_registers(ahci_ctlp, port,
ahci_update_sata_registers(ahci_ctlp, port,
ahci_update_sata_registers(ahci_ctlp, port,
ahci_update_sata_registers(ahci_ctlp, port, &spkt->satapkt_device);
ahci_update_sata_registers(ahci_ctlp, port, sd);
ahci_update_sata_registers(ahci_ctlp, port, sd);
ahci_update_sata_registers(ahci_ctlp, port, satadev);
ahci_update_sata_registers(ahci_ctlp, port, satadev);
ahci_update_sata_registers(ahci_ctlp, port,
ahci_update_sata_registers(ahci_ctlp, port,