| /barrelfish-master/usr/arrakismon/ |
| H A D | ps.c | 34 void ps_remove(domainid_t domain_id) argument
40 bool ps_exists(domainid_t domain_id) argument
46 struct ps_entry *ps_get(domainid_t domain_id) argument
|
| /barrelfish-master/usr/spawnd/ |
| H A D | ps.c | 39 void ps_remove(domainid_t domain_id) argument
45 bool ps_exists(domainid_t domain_id) argument
51 struct ps_entry *ps_get(domainid_t domain_id) argument
[all...] |
| H A D | ps.h | 35 domainid_t domain_id; member in struct:ps_entry
|
| H A D | service.c | 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-master/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
|
| /barrelfish-master/kernel/include/ |
| H A D | dispatch.h | 50 uint64_t domain_id; ///< ID of dispatcher's domain member in struct:dcb
|
| /barrelfish-master/include/barrelfish/ |
| H A D | dispatcher.h | 84 domainid_t domain_id; member in struct:dispatcher_generic
|
| /barrelfish-master/include/spawndomain/ |
| H A D | spawndomain.h | 26 domainid_t domain_id; member in struct:spawninfo
|
| /barrelfish-master/usr/monitor/include/ |
| H A D | connection.h | 22 uintptr_t domain_id; member in struct:lmp_conn_state
55 uintptr_t domain_id; member in struct:remote_conn_state
88 uintptr_t domain_id; member in struct:span_state
|
| /barrelfish-master/usr/proc_mgmt/ |
| H A D | domain.c | 161 errval_t domain_get_by_id(domainid_t domain_id, argument
|
| /barrelfish-master/usr/eclipseclp/Pds/src/ |
| 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
|
| H A D | nsrv_server.c | 633 bdomain_id_t domain_id; local
|
| H A D | nsrv_int.c | 92 htd_t * domain_id; member in struct:__anon1734
[all...] |
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | bip_mps.c | 344 bdomain_id_t domain_id = 0; local
|
| H A D | wm.c | 181 bdomain_id_t domain_id; variable
|
| H A D | worker.c | 163 bdomain_id_t domain_id; /* only used if this worker creates a new variable
|
| /barrelfish-master/kernel/ |
| H A D | monitor.c | 157 struct sysret sys_monitor_domain_id(capaddr_t cptr, domainid_t domain_id) argument
|
| /barrelfish-master/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
|
| /barrelfish-master/usr/monitor/ |
| H A D | ump_support.c | 57 uintptr_t domain_id; member in struct:bind_ump_request_state
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
649 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
707 uintptr_t domain_id = con->domain_id; local
[all...] |
| H A D | inter.c | 283 uintptr_t domain_id = conn->domain_id; local
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...] |
| H A D | monitor_rpc_server.c | 645 new_monitor_binding(struct monitor_blocking_binding *b, struct capref ep, bool export, uintptr_t domain_id) argument
|
| H A D | monitor_server.c | 305 uintptr_t domain_id; member in struct:bind_lmp_service_request_state
245 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
308 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
371 bind_lmp_client_request(struct monitor_binding *b, iref_t iref, uintptr_t domain_id, size_t buflen, struct capref ep) argument
864 span_domain_request(struct monitor_binding *mb, uintptr_t domain_id, uint8_t core_id, struct capref vroot, struct capref disp) argument
[all...] |
| /barrelfish-master/lib/barrelfish/ |
| H A D | spawn_client.c | 625 domainid_t domain_id; local
940 errval_t spawn_get_status(domainid_t domain_id, struct spawn_ps_entry *pse, argument
|
| H A D | domain.c | 558 span_domain_reply(struct monitor_binding *mb, errval_t msgerr, uintptr_t domain_id) argument
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | syscall.c | 551 domainid_t domain_id = sa->arg3; local
|