Searched refs:dispatcher_get_trap_save_area (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h54 dispatcher_get_trap_save_area(dispatcher_handle_t handle) function
/barrelfish-master/include/arch/arm/barrelfish_kpi/
H A Ddispatcher_shared_arch.h53 dispatcher_get_trap_save_area(dispatcher_handle_t handle) function
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h53 dispatcher_get_trap_save_area(dispatcher_handle_t handle) function
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/
H A Ddispatcher_shared_arch.h53 dispatcher_get_trap_save_area(dispatcher_handle_t handle) function
/barrelfish-master/kernel/arch/arm/
H A Dexn.c36 assert(save_area == dispatcher_get_trap_save_area((dispatcher_handle_t)disp));
104 assert(save_area == dispatcher_get_trap_save_area((dispatcher_handle_t)disp));
/barrelfish-master/lib/barrelfish/
H A Ddispatch.c451 arch_registers_state_t *regs = dispatcher_get_trap_save_area(handle);
481 arch_registers_state_t *regs = dispatcher_get_trap_save_area(handle);
/barrelfish-master/kernel/arch/x86_64/
H A Dirq.c794 assert((disabled && disp_save_area == dispatcher_get_trap_save_area(handle))
823 assert(disp_save_area == dispatcher_get_trap_save_area(handle));
826 resume(dispatcher_get_trap_save_area(handle));
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c796 assert((disabled && disp_save_area == dispatcher_get_trap_save_area(handle))
827 assert(disp_save_area == dispatcher_get_trap_save_area(handle));
849 assert(disp_save_area == dispatcher_get_trap_save_area(handle));

Completed in 62 milliseconds