Symbol: INVALID_EVTCHN
drivers/pci/xen-pcifront.c
712
pdev->evtchn = INVALID_EVTCHN;
drivers/pci/xen-pcifront.c
734
if (pdev->evtchn != INVALID_EVTCHN)