xen_evtchn_2l_init 1685 drivers/xen/events/events_base.c 		xen_evtchn_2l_init();
xen_evtchn_2l_init  146 drivers/xen/events/events_internal.h void xen_evtchn_2l_init(void);