Symbol: xen_evtchn_2l_init
drivers/xen/events/events_base.c
2285
xen_evtchn_2l_init();
drivers/xen/events/events_internal.h
107
void xen_evtchn_2l_init(void);