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;