__xen_evtchn_do_upcall 1252 drivers/xen/events/events_base.c 	__xen_evtchn_do_upcall();
__xen_evtchn_do_upcall 1260 drivers/xen/events/events_base.c 	__xen_evtchn_do_upcall();