Symbol: event_handler_exit
drivers/xen/events/events_base.c
1875
event_handler_exit(info);
drivers/xen/events/events_base.c
1919
event_handler_exit(info);
drivers/xen/events/events_base.c
2040
event_handler_exit(info);
drivers/xen/events/events_base.c
817
event_handler_exit(info);