| /barrelfish-2018-10-04/lib/barrelfish/ |
| H A D | spawn_client.c | 625 domainid_t domain_id; local
643 envstr, envstrlen, &msgerr, &domain_id);
651 *ret_domainid = domain_id;
940 errval_t spawn_get_status(domainid_t domain_id, struct spawn_ps_entry *pse, argument
954 err = b->rpc_tx_vtbl.get_status(b, domain_id, (proc_mgmt_ps_entry_t*) pse,
|
| H A D | domain.c | 558 errval_t msgerr, uintptr_t domain_id)
567 (struct span_domain_state*)domain_id;
1125 * \brief returns the domain_id stored in disp_priv struct
1131 return disp->domain_id;
557 span_domain_reply(struct monitor_binding *mb, errval_t msgerr, uintptr_t domain_id) argument
|
| /barrelfish-2018-10-04/kernel/ |
| H A D | monitor.c | 157 struct sysret sys_monitor_domain_id(capaddr_t cptr, domainid_t domain_id) argument
168 disp->u.dispatcher.dcb->domain_id = domain_id;
|
| H A D | syscall.c | 166 dcb->domain_id = odisp->u.dispatcher.dcb->domain_id;
|
| H A D | cap_delete.c | 137 uintptr_t payload = dcb->domain_id;
|
| /barrelfish-2018-10-04/usr/monitor/include/arch/x86_32/ |
| H A D | monitor_invocations_arch.h | 130 invoke_domain_id(struct capref cap, domainid_t domain_id) argument
139 idc_msg_encode_word(&msg, domain_id);
|
| /barrelfish-2018-10-04/kernel/include/ |
| H A D | syscall.h | 79 struct sysret sys_monitor_domain_id(capaddr_t cptr, domainid_t domain_id);
|
| /barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
| H A D | worker.c | 163 bdomain_id_t domain_id; /* only used if this worker creates a new variable
1116 check_nsrv(nsrv_new_bdomain_id(my_signature,&domain_id),__LINE__,5);
1117 fill_in_domain(domain_id,&bdomain,hostname);
1154 check_nsrv(nsrv_new_bdomain_id(my_signature,&domain_id),__LINE__,5);
1155 fill_in_domain(domain_id,&bdomain,hostname);
|
| H A D | wm.c | 181 bdomain_id_t domain_id; variable
1974 check_nsrv(nsrv_new_bdomain_id(wm_signature,&domain_id),__LINE__,5);
1975 fill_in_domain(domain_id,&bdomain);
|
| /barrelfish-2018-10-04/usr/arrakismon/ |
| H A D | vmkitmon.c | 184 dg->domain_id = *domainid;
|
| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | syscall.c | 596 domainid_t domain_id = sa->arg3; local
598 return sys_monitor_domain_id(cptr, domain_id);
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | syscall.c | 559 domainid_t domain_id = sa->arg3; local
561 return sys_monitor_domain_id(cptr, domain_id);
|
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | syscall.c | 554 domainid_t domain_id = args[1]; local
556 return sys_monitor_domain_id(cptr, domain_id);
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | syscall.c | 768 domainid_t domain_id = args[1]; local
770 return sys_monitor_domain_id(cptr, domain_id);
|
| /barrelfish-2018-10-04/usr/eclipseclp/Pds/src/ |
| H A D | bmsg.msg.c | 3640 bdomain_id_t domain_id; local
3671 &domain_id, local
3679 bmsg_assert(domain_id != (bdomain_id_t) 0);
3743 bport.bdomain_id = domain_id;
3786 if (domain_id != bdomain_self()) {
|