Name

pci_intx — enables/disables PCI INTx for device dev