Lines Matching defs:domainid
39 domainid_t *domainid)
182 err = ps_allocate(pe, domainid);
189 dg->domain_id = *domainid;
203 domainid_t domainid;
213 err = b->tx_vtbl.spawn_arrakis_domain_response(b, NOP_CONT, r->err, r->domainid);
229 domainid_t domainid)
233 err = b->tx_vtbl.spawn_arrakis_domain_response(b, NOP_CONT, rerr, domainid);
247 sr->domainid = domainid;
270 domainid_t domainid = 0;
311 argcn_cap, &domainid);
328 err = spawn_reply(b, err, domainid);