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

/barrelfish-2018-10-04/lib/barrelfish/
H A Dinit.c392 void barrelfish_init_disabled(dispatcher_handle_t handle, bool init_dom_arg);
393 void barrelfish_init_disabled(dispatcher_handle_t handle, bool init_dom_arg) argument
395 init_domain = init_dom_arg;
397 thread_init_disabled(handle, init_dom_arg);

Completed in 26 milliseconds