bind_ipi          872 drivers/xen/events/events_base.c 	struct evtchn_bind_ipi bind_ipi;
bind_ipi          888 drivers/xen/events/events_base.c 		bind_ipi.vcpu = xen_vcpu_nr(cpu);
bind_ipi          890 drivers/xen/events/events_base.c 						&bind_ipi) != 0)
bind_ipi          892 drivers/xen/events/events_base.c 		evtchn = bind_ipi.port;
bind_ipi         1477 drivers/xen/events/events_base.c 	struct evtchn_bind_ipi bind_ipi;
bind_ipi         1487 drivers/xen/events/events_base.c 		bind_ipi.vcpu = xen_vcpu_nr(cpu);
bind_ipi         1489 drivers/xen/events/events_base.c 						&bind_ipi) != 0)
bind_ipi         1491 drivers/xen/events/events_base.c 		evtchn = bind_ipi.port;
bind_ipi          234 include/xen/interface/event_channel.h 		struct evtchn_bind_ipi	       bind_ipi;