Searched refs:dispatcher_get_disabled_save_area (Results 1 - 16 of 16) sorted by relevance

/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h48 dispatcher_get_disabled_save_area(dispatcher_handle_t handle) function
/barrelfish-master/include/arch/arm/barrelfish_kpi/
H A Ddispatcher_shared_arch.h47 dispatcher_get_disabled_save_area(dispatcher_handle_t handle) function
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h47 dispatcher_get_disabled_save_area(dispatcher_handle_t handle) function
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/
H A Ddispatcher_shared_arch.h47 dispatcher_get_disabled_save_area(dispatcher_handle_t handle) function
/barrelfish-master/kernel/arch/arm/
H A Dexn.c303 dispatcher_get_disabled_save_area(
/barrelfish-master/kernel/
H A Ddispatch.c88 dispatcher_get_disabled_save_area(handle);
/barrelfish-master/kernel/arch/x86_64/
H A Dsvm_vmkit.c268 area = dispatcher_get_disabled_save_area(dcb->disp);
H A Dirq.c913 dispatcher_get_disabled_save_area(dcb_current->disp) :
1028 if (disp_save_area == dispatcher_get_disabled_save_area(handle)) {
H A Dvmx_vmkit.c1187 area = dispatcher_get_disabled_save_area(dcb->disp);
/barrelfish-master/kernel/arch/armv8/
H A Dexn.c269 if (save_area == dispatcher_get_disabled_save_area(handle)) {
H A Dsyscall.c1277 assert(context == dispatcher_get_disabled_save_area((dispatcher_handle_t)disp));
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c976 if (disp_save_area == dispatcher_get_disabled_save_area(handle)) {
/barrelfish-master/lib/spawndomain/
H A Dspawn.c367 dispatcher_get_disabled_save_area(handle);
/barrelfish-master/lib/barrelfish/
H A Ddomain.c693 dispatcher_get_disabled_save_area(handle);
/barrelfish-master/kernel/arch/armv7/
H A Dsyscall.c1362 assert(context == dispatcher_get_disabled_save_area((dispatcher_handle_t)disp));
/barrelfish-master/usr/arrakismon/
H A Dguest.c913 dispatcher_get_disabled_save_area(si->handle);

Completed in 217 milliseconds