Searched refs:ret_domain_cap (Results 1 - 6 of 6) sorted by relevance
| /barrelfish-master/usr/examples/xmpl-spawn/ |
| H A D | spawn.c | 39 struct capref ret_domain_cap; local
49 spawn_flags_t flags, struct capref *ret_domain_cap)
52 &ret_domain_cap);
|
| /barrelfish-master/include/barrelfish/ |
| H A D | spawn_client.h | 52 struct capref *ret_domain_cap);
60 spawn_flags_t flags, struct capref *ret_domain_cap);
63 spawn_flags_t flags, struct capref *ret_domain_cap,
|
| /barrelfish-master/usr/tests/proc_mgmt_test/ |
| H A D | main.c | 26 struct capref *ret_domain_cap)
28 assert(ret_domain_cap != NULL);
31 argv, NULL, 0, ret_domain_cap);
25 test_spawn(coreid_t core_id, char *argv[], struct capref *ret_domain_cap) argument
|
| /barrelfish-master/usr/startd/ |
| H A D | spawn.c | 366 struct capref ret_domain_cap; local
368 spawn_flags, &ret_domain_cap);
380 struct capref ret_domain_cap; local
382 spawn_flags, &ret_domain_cap);
|
| /barrelfish-master/lib/barrelfish/ |
| H A D | spawn_client.c | 410 * \param ret_domain_cap If non-NULL, filled in with domain cap of new domain
420 struct capref *ret_domain_cap)
506 if (ret_domain_cap != NULL) {
507 *ret_domain_cap = domain_cap;
528 * \param ret_domain_cap If non-NULL, filled in with domain cap of new domain
534 uint8_t flags, struct capref *ret_domain_cap)
538 ret_domain_cap);
676 spawn_flags_t flags, struct capref *ret_domain_cap,
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
532 spawn_program(coreid_t core_id, const char *path, char *const argv[], char *const envp[], uint8_t flags, struct capref *ret_domain_cap) argument
674 spawn_program_on_all_cores(bool same_core, const char *path, char *const argv[], char *const envp[], spawn_flags_t flags, struct capref *ret_domain_cap, coreid_t* spawn_count) argument
|
| /barrelfish-master/usr/fish/ |
| H A D | fish_common.c | 73 struct capref *ret_domain_cap)
93 assert(ret_domain_cap != NULL);
97 NULL_CAP, SPAWN_FLAGS_NEW_DOMAIN, ret_domain_cap);
72 execute_program(coreid_t coreid, int argc, char *argv[], struct capref *ret_domain_cap) argument
|
Completed in 109 milliseconds