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;
200 * has an endpoint at <dom, port>.
202 * 1. <dom> may be specified as DOMID_SELF.
204 * channel for which <dom> is not DOMID_SELF.
208 domid_t dom;
221 domid_t dom;
224 domid_t dom;
265 * 1. <dom> may be specified as DOMID_SELF.
268 * operations to 2-level ABI if called with <dom> == DOMID_SELF and FIFO
274 domid_t dom;