EVTCHNOP_bind_vcpu
case EVTCHNOP_bind_vcpu:
if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_vcpu, &bind) != 0)