pci_config_rd64
*(uint64_t *)host_addr = pci_config_rd64(hp,
*host_addr++ = pci_config_rd64(hdlp, dev_addr++);
*host_addr++ = pci_config_rd64(hdlp, dev_addr);
uint64_t pci_config_rd64(ddi_acc_impl_t *hdlp, uint64_t *addr);