Lines Matching refs:chn
56 static u32 evtchn_sid(const struct evtchn *chn) in evtchn_sid() argument
58 return chn->ssid.flask_sid; in evtchn_sid()
88 static int domain_has_evtchn(struct domain *d, struct evtchn *chn, u32 perms) in domain_has_evtchn() argument
91 u32 esid = evtchn_sid(chn); in domain_has_evtchn()
196 static int flask_evtchn_unbound(struct domain *d1, struct evtchn *chn, in flask_evtchn_unbound() argument
222 chn->ssid.flask_sid = newsid; in flask_evtchn_unbound()
272 static void flask_evtchn_close_post(struct evtchn *chn) in flask_evtchn_close_post() argument
274 chn->ssid.flask_sid = SECINITSID_UNLABELED; in flask_evtchn_close_post()
277 static int flask_evtchn_send(struct domain *d, struct evtchn *chn) in flask_evtchn_send() argument
281 switch ( chn->state ) in flask_evtchn_send()
284 rc = domain_has_evtchn(d, chn, EVENT__SEND); in flask_evtchn_send()
291 rc = avc_unknown_permission("event channel state", chn->state); in flask_evtchn_send()
297 static int flask_evtchn_status(struct domain *d, struct evtchn *chn) in flask_evtchn_status() argument
299 return domain_has_evtchn(d, chn, EVENT__STATUS); in flask_evtchn_status()
307 static int flask_alloc_security_evtchn(struct evtchn *chn) in flask_alloc_security_evtchn() argument
309 chn->ssid.flask_sid = SECINITSID_UNLABELED; in flask_alloc_security_evtchn()
314 static void flask_free_security_evtchn(struct evtchn *chn) in flask_free_security_evtchn() argument
316 if ( !chn ) in flask_free_security_evtchn()
319 chn->ssid.flask_sid = SECINITSID_UNLABELED; in flask_free_security_evtchn()
322 static char *flask_show_security_evtchn(struct domain *d, const struct evtchn *chn) in flask_show_security_evtchn() argument
329 switch ( chn->state ) in flask_show_security_evtchn()
333 sid = evtchn_sid(chn); in flask_show_security_evtchn()
336 irq = domain_pirq_to_irq(d, chn->u.pirq.irq); in flask_show_security_evtchn()