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

/barrelfish-2018-10-04/include/arch/x86_32/barrelfish/
H A Dpmap_arch.h29 static inline errval_t pmap_current_init(bool init_domain) argument
31 return pmap_x86_32_current_init(init_domain);
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish/
H A Dpmap_arch.h29 static inline errval_t pmap_current_init(bool init_domain) argument
31 return pmap_x86_64_current_init(init_domain);
/barrelfish-2018-10-04/include/barrelfish/
H A Dvspace.h41 errval_t vspace_current_init(bool init_domain);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dinit.c38 static bool init_domain; variable
52 if (!init_domain) {
222 err = vspace_current_init(init_domain);
240 } else if (init_domain) {
244 if (init_domain) {
276 if (init_domain) {
378 assert(!init_domain);
395 init_domain = init_dom_arg;
H A Dthreads.c1153 * \param init_domain True if we are a bootstrap domain
1155 void thread_init_disabled(dispatcher_handle_t handle, bool init_domain) argument
1163 init_domain_global = init_domain;
/barrelfish-2018-10-04/lib/barrelfish/vspace/
H A Dvspace.c33 errval_t vspace_current_init(bool init_domain) argument
57 err = pmap_current_init(init_domain);
/barrelfish-2018-10-04/lib/barrelfish/include/
H A Dthreads_priv.h90 void thread_init_disabled(dispatcher_handle_t handle, bool init_domain);
/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/
H A Dpmap.c919 errval_t pmap_current_init(bool init_domain) argument
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Dpmap.c943 errval_t pmap_x86_32_current_init(bool init_domain) argument
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/
H A Dpmap.c1232 errval_t pmap_current_init(bool init_domain) argument
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Dpmap.c1150 errval_t pmap_x86_64_current_init(bool init_domain) argument

Completed in 106 milliseconds