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

/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/
H A Ddispatch.c255 void disp_arch_init(dispatcher_handle_t handle) function
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/
H A Ddispatch.c237 void disp_arch_init(dispatcher_handle_t handle) function
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Ddispatch.c33 void disp_arch_init(dispatcher_handle_t handle) function
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Ddispatch.c35 void disp_arch_init(dispatcher_handle_t handle) function

Completed in 157 milliseconds