EVTCHNOP_bind_ipi 889 drivers/xen/events/events_base.c if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_ipi, EVTCHNOP_bind_ipi 1488 drivers/xen/events/events_base.c if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_ipi,