EVTCHNOP_alloc_unbound
if ((err = HYPERVISOR_event_channel_op(EVTCHNOP_alloc_unbound,
case EVTCHNOP_alloc_unbound: