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