__evtchn_fifo_handle_events  346 drivers/xen/events/events_fifo.c 	__evtchn_fifo_handle_events(cpu, false);
__evtchn_fifo_handle_events  429 drivers/xen/events/events_fifo.c 	__evtchn_fifo_handle_events(cpu, true);