Searched defs:barrelfish_init_disabled (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/lib/barrelfish/
H A Dinit.c477 void barrelfish_init_disabled(dispatcher_handle_t handle, bool init_dom_arg) function

Completed in 27 milliseconds