Searched refs:spawninfo (Results 1 - 17 of 17) sorted by relevance
| /barrelfish-2018-10-04/usr/init/ |
| H A D | init.h | 25 errval_t initialize_mem_serv(struct spawninfo *si);
26 errval_t initialize_monitor(struct spawninfo *si);
|
| H A D | spawn.c | 20 errval_t initialize_mem_serv(struct spawninfo *si)
41 errval_t initialize_monitor(struct spawninfo *si)
|
| H A D | init.c | 139 struct spawninfo mem_serv_si;
153 struct spawninfo monitor_si;
|
| /barrelfish-2018-10-04/include/spawndomain/ |
| H A D | spawndomain.h | 25 struct spawninfo { struct
83 errval_t spawn_load_with_bootinfo(struct spawninfo *si, struct bootinfo *bi,
85 errval_t spawn_load_with_args(struct spawninfo *si, struct mem_region *module,
88 errval_t spawn_load_image(struct spawninfo *si, lvaddr_t binary,
93 errval_t spawn_run(struct spawninfo *si);
94 errval_t spawn_free(struct spawninfo *si);
99 errval_t spawn_vspace_init(struct spawninfo *si, struct capref vnode,
101 errval_t spawn_vspace_map_one_frame(struct spawninfo *si, genvaddr_t *retaddr,
103 errval_t spawn_vspace_map_fixed_one_frame(struct spawninfo *si, genvaddr_t addr,
105 errval_t spawn_vspace_map_anon_fixed_attr(struct spawninfo *s
[all...] |
| /barrelfish-2018-10-04/lib/spawndomain/ |
| H A D | arch.h | 18 errval_t spawn_arch_load(struct spawninfo *si,
|
| H A D | spawn_vspace.c | 26 errval_t spawn_vspace_init(struct spawninfo *si, struct capref vnode,
70 errval_t spawn_vspace_map_one_frame(struct spawninfo *si, genvaddr_t *retaddr,
126 errval_t spawn_vspace_map_fixed_one_frame(struct spawninfo *si, genvaddr_t addr,
181 errval_t spawn_vspace_map_anon_fixed_attr(struct spawninfo *si, genvaddr_t addr,
|
| H A D | spawn.c | 36 static errval_t spawn_setup_cspace(struct spawninfo *si)
151 static errval_t spawn_setup_vspace(struct spawninfo *si)
254 static errval_t spawn_determine_cputype(struct spawninfo *si, lvaddr_t binary)
289 static errval_t spawn_setup_dispatcher(struct spawninfo *si,
362 errval_t spawn_map_bootinfo(struct spawninfo *si, genvaddr_t *retvaddr)
463 static errval_t spawn_setup_env(struct spawninfo *si,
602 * \param si Target spawninfo
606 static errval_t spawn_setup_inherited_caps(struct spawninfo *si,
667 static errval_t spawn_setup_argcn(struct spawninfo *si,
706 errval_t spawn_load_image(struct spawninfo *s
[all...] |
| /barrelfish-2018-10-04/usr/monitor/include/ |
| H A D | monitor_server.h | 13 errval_t monitor_client_setup(struct spawninfo *si);
|
| /barrelfish-2018-10-04/usr/monitor/ |
| H A D | spawn.c | 26 static errval_t set_special_caps(struct spawninfo *si, const char *pname)
154 struct spawninfo si;
198 struct spawninfo si;
389 struct spawninfo si;
|
| H A D | monitor_server.c | 990 errval_t monitor_client_setup(struct spawninfo *si)
|
| /barrelfish-2018-10-04/lib/spawndomain/arch/aarch64/ |
| H A D | spawn_arch.c | 56 struct spawninfo *si = state;
154 errval_t spawn_arch_load(struct spawninfo *si,
|
| /barrelfish-2018-10-04/lib/spawndomain/arch/arm/ |
| H A D | spawn_arch.c | 56 struct spawninfo *si = state;
154 errval_t spawn_arch_load(struct spawninfo *si,
|
| /barrelfish-2018-10-04/lib/spawndomain/arch/x86/ |
| H A D | spawn_arch.c | 60 struct spawninfo *si = state;
226 errval_t spawn_arch_load(struct spawninfo *si,
|
| /barrelfish-2018-10-04/usr/arrakismon/ |
| H A D | guest.h | 448 void spawn_guest_domain (struct guest *self, struct spawninfo *si);
|
| H A D | vmkitmon.c | 91 struct spawninfo si;
|
| H A D | guest.c | 429 spawn_guest_domain (struct guest *g, struct spawninfo *si) {
|
| /barrelfish-2018-10-04/usr/spawnd/ |
| H A D | service.c | 94 struct spawninfo si;
445 struct spawninfo si;
|
Completed in 176 milliseconds