Symbol: evtchn_fifo_is_pending
drivers/xen/events/events_fifo.c
307
if (evtchn_fifo_is_pending(port) && !evtchn_fifo_is_masked(port)) {
drivers/xen/events/events_fifo.c
417
.is_pending = evtchn_fifo_is_pending,