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

/barrelfish-master/lib/spawndomain/
H A Dspawn.h22 errval_t spawn_symval_register(const char *binary, uint32_t idx,
H A Dspawn_omp.c306 errval_t spawn_symval_register(const char *binary, function
/barrelfish-master/lib/spawndomain/arch/x86/
H A Dspawn_arch.c206 err = spawn_symval_register(name, symindex++, symname, sym->st_value);
214 err = spawn_symval_register(name, 0, "binary", count);

Completed in 83 milliseconds