pci_config_rd32
*(uint32_t *)host_addr = pci_config_rd32(hp,
*h++ = pci_config_rd32(hdlp, d++);
*h++ = pci_config_rd32(hdlp, d);
lw_val = pci_config_rd32(hdlp, dp);
hi_val = pci_config_rd32(hdlp, dp);
uint32_t pci_config_rd32(ddi_acc_impl_t *hdlp, uint32_t *addr);