Searched refs:mem_serv_si (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/init/
H A Dinit.c139 struct spawninfo mem_serv_si; local
140 err = spawn_load_with_bootinfo(&mem_serv_si, bi, MEM_SERV_NAME, my_core_id);
146 err = initialize_mem_serv(&mem_serv_si);
221 cap_dest.cnode = mem_serv_si.taskcn;
235 err = spawn_run(&mem_serv_si);
245 err = spawn_free(&mem_serv_si);

Completed in 34 milliseconds