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

/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h54 dispatcher_get_trap_save_area(dispatcher_handle_t handle) function
/barrelfish-2018-10-04/include/arch/arm/barrelfish_kpi/
H A Ddispatcher_shared_arch.h53 dispatcher_get_trap_save_area(dispatcher_handle_t handle) function
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h53 dispatcher_get_trap_save_area(dispatcher_handle_t handle) function
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Ddispatcher_shared_arch.h53 dispatcher_get_trap_save_area(dispatcher_handle_t handle) function

Completed in 39 milliseconds