Symbol: evtchn_bind_ipi
drivers/xen/events/events_base.c
1247
struct evtchn_bind_ipi bind_ipi;
drivers/xen/events/events_base.c
2006
struct evtchn_bind_ipi bind_ipi;
include/xen/interface/event_channel.h
234
struct evtchn_bind_ipi bind_ipi;