evtchn_fifo_is_pending
if (evtchn_fifo_is_pending(port) && !evtchn_fifo_is_masked(port)) {
.is_pending = evtchn_fifo_is_pending,