HYPERVISOR_event_channel_op
(void)HYPERVISOR_event_channel_op(EVTCHNOP_send, &send);
if (HYPERVISOR_event_channel_op(EVTCHNOP_close, &close))
error = HYPERVISOR_event_channel_op(EVTCHNOP_bind_ipi,
error = HYPERVISOR_event_channel_op(EVTCHNOP_bind_virq,
error = HYPERVISOR_event_channel_op(EVTCHNOP_bind_vcpu, &bind_vcpu);
error = HYPERVISOR_event_channel_op(EVTCHNOP_alloc_unbound,
if (HYPERVISOR_event_channel_op(EVTCHNOP_close, &close))
error = HYPERVISOR_event_channel_op(EVTCHNOP_bind_interdomain,
if (HYPERVISOR_event_channel_op(EVTCHNOP_close, &close))
error = HYPERVISOR_event_channel_op(EVTCHNOP_bind_virq, &bind_virq);
if (HYPERVISOR_event_channel_op(EVTCHNOP_close, &close))
error = HYPERVISOR_event_channel_op(EVTCHNOP_bind_ipi, &bind_ipi);
if (HYPERVISOR_event_channel_op(EVTCHNOP_close, &close))
HYPERVISOR_event_channel_op(EVTCHNOP_send, &send);
error = HYPERVISOR_event_channel_op(
HYPERVISOR_event_channel_op(EVTCHNOP_unmask, &op);