INVALID_EVTCHN 749 drivers/pci/xen-pcifront.c pdev->evtchn = INVALID_EVTCHN; INVALID_EVTCHN 772 drivers/pci/xen-pcifront.c if (pdev->evtchn != INVALID_EVTCHN)