Lines Matching defs:dom
18 * EVTCHNOP_alloc_unbound: Allocate a port in domain <dom> and mark as
20 * is allocated in <dom> and returned as <port>.
22 * 1. If the caller is unprivileged then <dom> must be DOMID_SELF.
28 domid_t dom, remote_dom;
120 * has an endpoint at <dom, port>.
122 * 1. <dom> may be specified as DOMID_SELF.
124 * channel for which <dom> is not DOMID_SELF.
129 domid_t dom;
142 domid_t dom;
145 domid_t dom;