Searched refs:dispatcher_get_enabled_save_area (Results 1 - 20 of 20) sorted by relevance

/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h42 dispatcher_get_enabled_save_area(dispatcher_handle_t handle) function
/barrelfish-master/include/arch/arm/barrelfish_kpi/
H A Ddispatcher_shared_arch.h41 dispatcher_get_enabled_save_area(dispatcher_handle_t handle) function
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h41 dispatcher_get_enabled_save_area(dispatcher_handle_t handle) function
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/
H A Ddispatcher_shared_arch.h41 dispatcher_get_enabled_save_area(dispatcher_handle_t handle) function
/barrelfish-master/kernel/arch/arm/
H A Dexn.c39 assert(save_area == dispatcher_get_enabled_save_area((dispatcher_handle_t)disp));
107 assert(save_area == dispatcher_get_enabled_save_area((dispatcher_handle_t)disp));
308 dispatcher_get_enabled_save_area(
/barrelfish-master/lib/barrelfish/arch/x86_64/
H A Ddispatch.c280 dispatcher_get_enabled_save_area(handle);
H A Dldt.c495 arch_registers_state_t *regs = dispatcher_get_enabled_save_area(handle);
/barrelfish-master/lib/barrelfish/arch/aarch64/
H A Ddispatch.c234 dispatcher_get_enabled_save_area(handle);
/barrelfish-master/lib/barrelfish/arch/arm/
H A Ddispatch.c216 dispatcher_get_enabled_save_area(handle);
/barrelfish-master/lib/barrelfish/arch/x86_32/
H A Ddispatch.c258 dispatcher_get_enabled_save_area(handle);
/barrelfish-master/kernel/arch/x86_64/
H A Dsvm_vmkit.c271 area = dispatcher_get_enabled_save_area(dcb->disp);
H A Dirq.c795 || (!disabled && disp_save_area == dispatcher_get_enabled_save_area(handle)));
914 dispatcher_get_enabled_save_area(dcb_current->disp);
1032 assert(disp_save_area == dispatcher_get_enabled_save_area(handle));
H A Dvmx_vmkit.c1190 area = dispatcher_get_enabled_save_area(dcb->disp);
/barrelfish-master/lib/barrelfish/
H A Ddispatch.c330 arch_registers_state_t *regs = dispatcher_get_enabled_save_area(handle);
H A Dthreads.c279 dispatcher_get_enabled_save_area(handle);
730 dispatcher_get_enabled_save_area(handle);
772 dispatcher_get_enabled_save_area(handle);
1175 dispatcher_get_enabled_save_area(handle);
/barrelfish-master/kernel/arch/armv8/
H A Dexn.c273 assert(save_area == dispatcher_get_enabled_save_area(handle));
H A Dsyscall.c1280 assert(context == dispatcher_get_enabled_save_area((dispatcher_handle_t)disp));
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c797 || (!disabled && disp_save_area == dispatcher_get_enabled_save_area(handle)));
980 assert(disp_save_area == dispatcher_get_enabled_save_area(handle));
/barrelfish-master/lib/spawndomain/
H A Dspawn.c365 dispatcher_get_enabled_save_area(handle);
593 dispatcher_get_enabled_save_area(si->handle);
/barrelfish-master/kernel/arch/armv7/
H A Dsyscall.c1365 assert(context == dispatcher_get_enabled_save_area((dispatcher_handle_t)disp));

Completed in 116 milliseconds