/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | ps.c | 34 void ps_remove(domainid_t domain_id) argument 36 assert(domain_id < MAX_DOMAINS); 37 entries[domain_id] = NULL; 40 bool ps_exists(domainid_t domain_id) argument 42 assert(domain_id < MAX_DOMAINS); 43 return entries[domain_id] != NULL ? true : false; 46 struct ps_entry *ps_get(domainid_t domain_id) argument 48 if(domain_id >= MAX_DOMAINS) { 52 return entries[domain_id];
|
H A D | ps.h | 42 void ps_remove(domainid_t domain_id); 43 bool ps_exists(domainid_t domain_id); 44 struct ps_entry *ps_get(domainid_t domain_id);
|
/barrelfish-2018-10-04/usr/spawnd/ |
H A D | ps.c | 31 entry->domain_id = i; 39 void ps_remove(domainid_t domain_id) argument 41 assert(domain_id < MAX_DOMAINS); 42 entries[domain_id] = NULL; 45 bool ps_exists(domainid_t domain_id) argument 47 assert(domain_id < MAX_DOMAINS); 48 return entries[domain_id] != NULL ? true : false; 51 struct ps_entry *ps_get(domainid_t domain_id) argument 53 if(domain_id >= MAX_DOMAINS) { 57 return entries[domain_id]; [all...] |
H A D | ps.h | 35 domainid_t domain_id; member in struct:ps_entry 50 void ps_remove(domainid_t domain_id); 51 bool ps_exists(domainid_t domain_id); 52 struct ps_entry *ps_get(domainid_t domain_id);
|
H A D | service.c | 209 dg->domain_id = *domainid; 340 errval_t *err, spawn_domainid_t *domain_id) 344 domain_id); 350 uint8_t flags, errval_t *err, spawn_domainid_t *domain_id) 354 domain_id); 648 ps_remove(pe->domain_id); 337 spawn_with_caps_handler(struct spawn_binding *b, const char *path, const char *argvbuf, size_t argvbytes, const char *envbuf, size_t envbytes, struct capref inheritcn_cap, struct capref argcn_cap, uint8_t flags, errval_t *err, spawn_domainid_t *domain_id) argument 348 spawn_handler(struct spawn_binding *b, const char *path, const char *argvbuf, size_t argvbytes, const char *envbuf, size_t envbytes, uint8_t flags, errval_t *err, spawn_domainid_t *domain_id) argument
|
/barrelfish-2018-10-04/usr/monitor/ |
H A D | ump_support.c | 23 uintptr_t domain_id, 40 err2 = b->tx_vtbl.bind_ump_reply_client(b, NOP_CONT, 0, domain_id, err, 57 uintptr_t domain_id; member in struct:bind_ump_request_state 68 uintptr_t domain_id) 94 me->domain_id = domain_id; 104 monitor_bind_ump_client_request_error(mb, frame, conn_id, domain_id, err); 115 st->capability, st->mb, st->frame, st->domain_id); 120 iref_t iref, uintptr_t domain_id, 135 monitor_bind_ump_client_request_error(mb, frame, conn_id, domain_id, er 20 monitor_bind_ump_client_request_error(struct monitor_binding *b, struct capref frame, uintptr_t conn_id, uintptr_t domain_id, errval_t err) argument 60 bind_ump_request_cont(struct intermon_binding *intermon_binding, iref_t iref, uintptr_t conn_id, uint32_t channel_length_in, uint32_t channel_length_out, struct frame_identity frameid, struct capability capability, struct monitor_binding *mb, struct capref frame, uintptr_t domain_id) argument 119 monitor_bind_ump_client_request(struct monitor_binding *mb, iref_t iref, uintptr_t domain_id, struct capref frame, size_t channel_length_in, size_t channel_length_out, struct capref notify) argument 257 monitor_bind_ump_reply(struct monitor_binding *dom_binding, uintptr_t my_mon_id, uintptr_t domain_id, errval_t msgerr, struct capref notify) argument 466 bind_ump_reply_client_cont(struct monitor_binding *domain_binding, uintptr_t my_mon_id, uintptr_t domain_id, errval_t msgerr, struct capref notify_cap) argument 524 uintptr_t domain_id = con->domain_id; local [all...] |
H A D | monitor_server.c | 244 errval_t err, uintptr_t domain_id, 250 err2 = b->tx_vtbl.bind_lmp_reply_client(b, NOP_CONT, err, 0, domain_id, 260 me->args.conn_id = domain_id; 303 uintptr_t domain_id; member in struct:bind_lmp_service_request_state 310 uintptr_t domain_id) 339 me->domain_id = domain_id; 354 bind_lmp_client_request_error(b, err, domain_id, serv_binding, ep); 365 st->domain_id); 370 iref_t iref, uintptr_t domain_id, 243 bind_lmp_client_request_error(struct monitor_binding *b, errval_t err, uintptr_t domain_id, struct monitor_binding *serv_binding, struct capref ep) argument 306 bind_lmp_service_request_cont(struct monitor_binding *serv_binding, uintptr_t service_id, uintptr_t con_id, size_t buflen, struct capref ep, struct monitor_binding *b, uintptr_t domain_id) argument 369 bind_lmp_client_request(struct monitor_binding *b, iref_t iref, uintptr_t domain_id, size_t buflen, struct capref ep) argument 855 span_domain_request(struct monitor_binding *mb, uintptr_t domain_id, uint8_t core_id, struct capref vroot, struct capref disp) argument [all...] |
H A D | inter.c | 182 uintptr_t domain_id, errval_t msgerr, 193 me->args.conn_id = domain_id; 216 uintptr_t domain_id, errval_t msgerr, 221 DEBUG_CAPOPS("%s ->%"PRIuPTR", %s\n", __FUNCTION__, domain_id, err_getstring(msgerr)); 226 cap_receive_request(domain_binding, MKCONT(free, capp), domain_id, msgerr, cap, capid); 233 cap_receive_request_enqueue(domain_binding, domain_id, msgerr, cap, 283 uintptr_t domain_id = conn->domain_id; local 288 DEBUG_CAPOPS("deliver cap to user domain 0x%"PRIxPTR"\n", domain_id); 289 cap_receive_request_cont(domain_binding, domain_id, er 181 cap_receive_request_enqueue(struct monitor_binding *domain_binding, uintptr_t domain_id, errval_t msgerr, struct capref cap, uint32_t capid, uintptr_t your_mon_id, struct intermon_binding *b, bool first) argument 215 cap_receive_request_cont(struct monitor_binding *domain_binding, uintptr_t domain_id, errval_t msgerr, struct capref cap, uint32_t capid, uintptr_t your_mon_id, struct intermon_binding *b, bool first) argument [all...] |
/barrelfish-2018-10-04/usr/monitor/include/ |
H A D | connection.h | 19 uintptr_t domain_id; member in struct:lmp_conn_state 51 uintptr_t domain_id; member in struct:remote_conn_state 101 uintptr_t domain_id; member in struct:span_state
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | lnsrv.c | 167 nsrv_new_bdomain_id(signature,domain_id) 169 bdomain_id_t * domain_id; 175 nsrv_free_bdomain_id(signature,domain_id) 177 bdomain_id_t domain_id;
|
H A D | bip_mps.c | 344 bdomain_id_t domain_id = 0; local 400 nret = nsrv_new_bdomain_id(mps_signature,&domain_id); 405 (void) nsrv_free_bdomain_id(mps_signature,domain_id); 408 domain.bdomain_id = domain_id; 417 "/tmp/mps.%d.map",domain_id); 420 (void) nsrv_free_bdomain_id(mps_signature,domain_id);
|
/barrelfish-2018-10-04/usr/eclipseclp/Pds/src/ |
H A D | lnsrv.c | 155 nsrv_new_bdomain_id(signature,domain_id) 157 bdomain_id_t * domain_id; 163 nsrv_free_bdomain_id(signature,domain_id) 165 bdomain_id_t domain_id;
|
H A D | nsrv_int.h | 229 bdomain_id_t domain_id; member in struct:__anon1741 282 bdomain_id_t domain_id; member in struct:__anon1748 345 bdomain_id_t * domain_id); 347 bdomain_id_t domain_id);
|
H A D | nsrv.h | 186 bdomain_id_t * domain_id); 188 bdomain_id_t domain_id);
|
H A D | nsrv_client.c | 1530 nsrv_new_bdomain_id(signature,domain_id) 1532 bdomain_id_t * domain_id; 1539 if (!signature || !domain_id) 1546 return(nsrv_new_bdomain_id_i(signature,domain_id)); 1560 xdr_bdomain_id(&xdrs,domain_id))) 1573 if ((nret == NSRV_OK) && (!(xdr_bdomain_id(&xdrs,domain_id)))) 1592 request->domain_id = *domain_id; 1600 *domain_id = reply->domain_id; [all...] |
H A D | nsrv_int.c | 92 htd_t * domain_id; member in struct:__anon1734 117 static htd_t * domain_id_htd; /* domain_id htd cache */ 649 nsrv_claim_domain_id(signature,domain_id) 651 bdomain_id_t domain_id; 654 nsrv_id_t data = domain_id; 1421 (NSRV_OK != ht_create(DOMAIN_ID_HT_SIZE,&(*nsrv)->domain_id)) || 1432 domain_id_htd = (*nsrv)->domain_id; 1467 domain_id_htd = (*nsrv)->domain_id; 1861 nsrv_new_bdomain_id_i(signature,domain_id) 1863 bdomain_id_t * domain_id; /* i [all...] |
H A D | nsrv_server.c | 633 bdomain_id_t domain_id; local 648 domain_id = reply->domain_id; 649 nret = nsrv_new_bdomain_id_i(request->signature,&domain_id); 650 reply->domain_id = domain_id; 680 request->domain_id);
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | dispatcher.h | 80 domainid_t domain_id; member in struct:dispatcher_generic
|
H A D | spawn_client.h | 75 errval_t spawn_get_status(domainid_t domain_id, struct spawn_ps_entry *pse,
|
/barrelfish-2018-10-04/usr/monitor/include/arch/x86_64/ |
H A D | monitor_invocations_arch.h | 65 invoke_domain_id(struct capref cap, domainid_t domain_id) argument 68 domain_id).error;
|
/barrelfish-2018-10-04/kernel/include/ |
H A D | dispatch.h | 49 uint64_t domain_id; ///< ID of dispatcher's domain member in struct:dcb
|
/barrelfish-2018-10-04/usr/monitor/include/arch/aarch64/ |
H A D | monitor_invocations_arch.h | 97 invoke_domain_id(struct capref cap, uint64_t domain_id)
|
/barrelfish-2018-10-04/usr/monitor/include/arch/arm/ |
H A D | monitor_invocations_arch.h | 98 invoke_domain_id(struct capref cap, uint64_t domain_id)
|
/barrelfish-2018-10-04/usr/proc_mgmt/ |
H A D | domain.c | 161 errval_t domain_get_by_id(domainid_t domain_id, argument 176 if (entry->domainid == domain_id) {
|
/barrelfish-2018-10-04/include/spawndomain/ |
H A D | spawndomain.h | 26 domainid_t domain_id; member in struct:spawninfo 123 /* typedef void (*spawn_notify_func)(uint64_t domain_id); */ 131 /* void spawn_domain_id(struct spawninfo *si, uint64_t domain_id); */ 134 /* uint64_t *domain_id); */
|