Lines Matching refs:dom
83 * EVTCHNOP_alloc_unbound: Allocate a port in domain <dom> and mark as
85 * is allocated in <dom> and returned as <port>.
87 * 1. If the caller is unprivileged then <dom> must be DOMID_SELF.
92 domid_t dom, remote_dom;
189 * has an endpoint at <dom, port>.
191 * 1. <dom> may be specified as DOMID_SELF.
193 * channel for which <dom> is not DOMID_SELF.
197 domid_t dom;
210 domid_t dom;
213 domid_t dom;
254 * 1. <dom> may be specified as DOMID_SELF.
259 domid_t dom;