acpipci_iort_map_msi
uint32_t acpipci_iort_map_msi(pci_chipset_tag_t, pcitag_t,
data = acpipci_iort_map_msi(ih.ih_pc, ih.ih_tag, &ic);