Lines Matching defs:dom
41 * EVTCHNOP_alloc_unbound: Allocate a port in domain <dom> and mark as
43 * is allocated in <dom> and returned as <port>.
45 * 1. If the caller is unprivileged then <dom> must be DOMID_SELF.
51 domid_t dom, remote_dom;
154 * has an endpoint at <dom, port>.
156 * 1. <dom> may be specified as DOMID_SELF.
158 * channel for which <dom> is not DOMID_SELF.
163 domid_t dom;
176 domid_t dom;
179 domid_t dom;
222 * 1. <dom> may be specified as DOMID_SELF.
228 domid_t dom;