| /barrelfish-master/usr/proc_mgmt/ |
| H A D | pending_clients.h | 46 struct capref argcn_cap; member in struct:pending_spawn
|
| H A D | service.c | 233 capref_is_null(spawn->argcn_cap));
244 spawn->argcn_cap,
356 struct capref argcn_cap, uint8_t flags)
393 spawn->argcn_cap = argcn_cap;
447 struct capref argcn_cap, uint8_t flags)
452 inheritcn_cap, argcn_cap, flags);
350 spawn_handler_common(struct proc_mgmt_binding *b, enum ClientType type, coreid_t core_id, 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) argument
442 spawn_with_caps_handler(struct proc_mgmt_binding *b, coreid_t core_id, 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) argument
|
| /barrelfish-master/lib/driverkit/ |
| H A D | ddomain_service.c | 89 inst->argcn_cap = NULL_CAP;
170 err = slot_alloc_root(&inst->argcn_cap);
176 err = cap_copy(inst->argcn_cap, argcn);
179 slot_free(inst->argcn_cap);
184 inst->argcn = build_cnoderef(inst->argcn_cap, CNODE_TYPE_OTHER);
217 cap_destroy(inst->argcn_cap);
229 cap_destroy(inst->argcn_cap);
241 cap_destroy(inst->argcn_cap);
|
| H A D | ddomain_client.c | 184 drv->argcn_cap,
218 if (!capref_is_null(drv->argcn_cap)) {
278 if (!capref_is_null(driver->argcn_cap)) {
|
| /barrelfish-master/include/barrelfish/ |
| H A D | spawn_client.h | 51 struct capref argcn_cap, spawn_flags_t flags,
56 struct capref argcn_cap, spawn_flags_t flags,
|
| /barrelfish-master/usr/drivers/xeon_phi/ |
| H A D | main_card.c | 195 struct capref argcn_cap, coreboot_cap_in_argcn; local
196 err = cnode_create_l2(&argcn_cap, &coreboot_cap_in_argcn.cnode);
208 argcn_cap, 0, &new_domain);
212 err = cap_destroy(argcn_cap);
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | vmkitmon.c | 38 struct capref inheritcn_cap, struct capref argcn_cap,
98 argcn_cap);
267 struct capref argcn_cap)
311 argcn_cap, &domainid);
317 if (!capref_is_null(argcn_cap)) {
319 err2 = cap_delete(argcn_cap);
36 spawn_arrakis(const char *path, char *const argv[], const char *argbuf, size_t argbytes, char *const envp[], struct capref inheritcn_cap, struct capref argcn_cap, domainid_t *domainid) argument
263 spawn_with_caps_handler(struct arrakis_binding *b, const char *path, const char *argbuf, size_t argbytes, const char *envbuf, size_t envbytes, struct capref inheritcn_cap, struct capref argcn_cap) argument
|
| /barrelfish-master/include/driverkit/ |
| H A D | driverkit.h | 48 struct capref argcn_cap; member in struct:bfdriver_instance
112 struct capref argcn_cap; member in struct:driver_instance
|
| /barrelfish-master/usr/spawnd/ |
| H A D | service.c | 38 struct capref argcn_cap, uint8_t flags,
98 argcn_cap);
270 struct capref argcn_cap, uint8_t flags,
315 argcn_cap, flags, domainid);
323 if (!capref_is_null(argcn_cap)) {
325 err2 = cap_delete(argcn_cap);
339 struct capref inheritcn_cap, struct capref argcn_cap, uint8_t flags,
343 envbytes, inheritcn_cap, argcn_cap, flags,
367 struct capref argcn_cap,
385 envbytes, inheritcn_cap, argcn_cap, flag
35 spawn(struct capref domain_cap, const char *path, char *const argv[], const char *argbuf, size_t argbytes, char *const envp[], struct capref inheritcn_cap, struct capref argcn_cap, uint8_t flags, domainid_t *domainid) argument
265 spawn_with_caps_common(struct capref domain_cap, const char *path, const char *argbuf, size_t argbytes, const char *envbuf, size_t envbytes, struct capref inheritcn_cap, struct capref argcn_cap, uint8_t flags, domainid_t *domainid) argument
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
358 spawn_with_caps_request_handler(struct spawn_binding *b, struct capref procmng_cap, struct capref domain_cap, 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) argument
[all...] |
| /barrelfish-master/include/spawndomain/ |
| H A D | spawndomain.h | 92 struct capref inheritcn_cap, struct capref argcn_cap);
|
| /barrelfish-master/lib/barrelfish/ |
| H A D | spawn_client.c | 407 * \param argcn_cap Cap to a CNode containing capabilities passed as
418 struct capref argcn_cap,
491 if (capref_is_null(inheritcn_cap) && capref_is_null(argcn_cap)) {
497 inheritcn_cap, argcn_cap, flags,
525 * \param argcn_cap Cap to a CNode containing capabilities passed as
544 struct capref argcn_cap, spawn_flags_t flags,
414 spawn_program_with_caps(coreid_t core_id, const char *path, char *const argv[], char *const envp[], struct capref inheritcn_cap, struct capref argcn_cap, uint8_t flags, struct capref *ret_domain_cap) argument
541 spawn_arrakis_program(coreid_t coreid, const char *path, char *const argv[], char *const envp[], struct capref inheritcn_cap, struct capref argcn_cap, spawn_flags_t flags, domainid_t *ret_domainid) argument
|
| /barrelfish-master/usr/kaluga/ |
| H A D | driver_startup.c | 165 drv->argcn_cap = arg->arg_caps;
258 drv->argcn_cap = arg->arg_caps;
444 //drv2->argcn_cap = int_arg->arg_caps;
|
| /barrelfish-master/lib/spawndomain/ |
| H A D | spawn.c | 743 * \param argcn_cap Cap to a CNode containing capabilities passed as
750 struct capref inheritcn_cap, struct capref argcn_cap)
790 err = spawn_setup_argcn(si, argcn_cap);
746 spawn_load_image(struct spawninfo *si, lvaddr_t binary, size_t binary_size, enum cpu_type type, const char *name, coreid_t coreid, char *const argv[], char *const envp[], struct capref inheritcn_cap, struct capref argcn_cap) argument
|