Lines Matching refs:spawninfo
25 struct spawninfo {
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 *si, genvaddr_t addr,
120 errval_t spawn_map_bootinfo(struct spawninfo *si, genvaddr_t *retvaddr);
128 errval_t spawn_span_domain(struct spawninfo *si, struct capref vroot,
130 /* void spawn_notify(struct spawninfo *si, bool notify); */
131 /* void spawn_domain_id(struct spawninfo *si, uint64_t domain_id); */
132 /* errval_t spawn_make_runnable(struct spawninfo *si); */
133 /* errval_t spawn_make_runnable_new_domain(struct spawninfo *si, */
137 /* errval_t spawn_fill_smallcn(struct spawninfo *si, const uint8_t nos); */
139 /* errval_t spawn_memory(struct spawninfo *si, const char *name, uint8_t core_id, */