x86_pci_msi_release
return x86_pci_msi_release(pc, pih, count);
void x86_pci_msi_release(pci_chipset_tag_t, pci_intr_handle_t *,