Symbol: __evtchn_fifo_handle_events
drivers/xen/events/events_fifo.c
338
__evtchn_fifo_handle_events(cpu, ctrl);
drivers/xen/events/events_fifo.c
406
__evtchn_fifo_handle_events(cpu, NULL);