EVTCHNOP_close
err = HYPERVISOR_event_channel_op(EVTCHNOP_close, &close);
if (HYPERVISOR_event_channel_op(EVTCHNOP_close, &close) != 0)