static long evtchn_reset(evtchn_reset_t *r) { domid_t dom = r->dom; struct domain *d; int i, rc; rc = rcu_lock_target_domain_by_id(dom, &d); if ( rc ) return rc; rc = xsm_evtchn_reset(current->domain, d); if ( rc ) goto out; for ( i = 0; port_is_valid(d, i); i++ ) (void)__evtchn_close(d, i); rc = 0; out: rcu_unlock_domain(d); return rc; }
static long evtchn_close(evtchn_close_t *close) { return __evtchn_close(current->domain, close->port); }