HYPERVISOR_event_channel_op
(void) HYPERVISOR_event_channel_op(EVTCHNOP_close, &close);
(void) HYPERVISOR_event_channel_op(EVTCHNOP_send, &send);
if (HYPERVISOR_event_channel_op(EVTCHNOP_unmask, &unmask) != 0)
if ((err = HYPERVISOR_event_channel_op(EVTCHNOP_alloc_unbound,
if ((err = HYPERVISOR_event_channel_op(EVTCHNOP_bind_interdomain,
(void) HYPERVISOR_event_channel_op(EVTCHNOP_send, &send);
(void) HYPERVISOR_event_channel_op(EVTCHNOP_send, &send);
error = HYPERVISOR_event_channel_op(cmd, op_ie.ie_kaddr);
(void) HYPERVISOR_event_channel_op(EVTCHNOP_send, &send);
if ((err = HYPERVISOR_event_channel_op(EVTCHNOP_bind_virq, &bind)) == 0)
if ((err = HYPERVISOR_event_channel_op(EVTCHNOP_bind_interdomain,
if ((err = HYPERVISOR_event_channel_op(EVTCHNOP_alloc_unbound,
err = HYPERVISOR_event_channel_op(EVTCHNOP_close, &close);
if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_ipi, &bind) != 0)
if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_vcpu, &bind) != 0)
if ((ret = HYPERVISOR_event_channel_op(EVTCHNOP_bind_pirq, &bind)) != 0)
if (HYPERVISOR_event_channel_op(EVTCHNOP_unmask, &unmask) != 0)
extern long HYPERVISOR_event_channel_op(int, void *); /* does return long */