xen_hvm_evtchn_do_upcall  196 arch/arm/xen/enlighten.c 	xen_hvm_evtchn_do_upcall();
xen_hvm_evtchn_do_upcall 1262 drivers/xen/events/events_base.c EXPORT_SYMBOL_GPL(xen_hvm_evtchn_do_upcall);
xen_hvm_evtchn_do_upcall   66 drivers/xen/platform-pci.c 	xen_hvm_evtchn_do_upcall();
xen_hvm_evtchn_do_upcall  102 include/xen/events.h void xen_hvm_evtchn_do_upcall(void);