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

/barrelfish-2018-10-04/include/barrelfish/
H A Ddispatch.h46 void disp_init_disabled(dispatcher_handle_t handle);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dinit.c396 disp_init_disabled(handle);
H A Ddispatch.c166 void disp_init_disabled(dispatcher_handle_t handle) function
H A Ddomain.c508 disp_init_disabled(disp);

Completed in 48 milliseconds