evtchn_bind_to_user
rc = evtchn_bind_to_user(u, bind_virq.port, false);
rc = evtchn_bind_to_user(u, bind_interdomain.local_port, false);
rc = evtchn_bind_to_user(u, alloc_unbound.port, false);
rc = evtchn_bind_to_user(u, bind.port, true);