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

/barrelfish-2018-10-04/include/arch/x86_32/barrelfish/
H A Ddispatcher_arch.h21 get_dispatcher_generic(dispatcher_handle_t handle) function
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish/
H A Ddispatcher_arch.h21 get_dispatcher_generic(dispatcher_handle_t handle) function
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish/
H A Ddispatcher_arch.h21 get_dispatcher_generic(dispatcher_handle_t handle) function
/barrelfish-2018-10-04/include/arch/arm/barrelfish/
H A Ddispatcher_arch.h21 get_dispatcher_generic(dispatcher_handle_t handle) function

Completed in 44 milliseconds