/* * If device drivers use MSI/MSI-X, they should use these API for INTx * instead of pci_intr_map(), because of conforming the pci_intr_handle * ownership to MSI/MSI-X. */