evtchn_bind_ipi   872 drivers/xen/events/events_base.c 	struct evtchn_bind_ipi bind_ipi;
evtchn_bind_ipi  1477 drivers/xen/events/events_base.c 	struct evtchn_bind_ipi bind_ipi;
evtchn_bind_ipi   234 include/xen/interface/event_channel.h 		struct evtchn_bind_ipi	       bind_ipi;