pci_check_and_set_intx_mask 4395 drivers/pci/pci.c return pci_check_and_set_intx_mask(dev, true); pci_check_and_set_intx_mask 4409 drivers/pci/pci.c return pci_check_and_set_intx_mask(dev, false);