Searched refs:dispatcher_is_disabled_ip (Results 1 - 14 of 14) sorted by relevance

/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h29 static inline bool dispatcher_is_disabled_ip(dispatcher_handle_t handle, function
/barrelfish-master/include/arch/arm/barrelfish_kpi/
H A Ddispatcher_shared_arch.h28 static inline bool dispatcher_is_disabled_ip(dispatcher_handle_t handle, function
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Ddispatcher_shared_arch.h28 static inline bool dispatcher_is_disabled_ip(dispatcher_handle_t handle, function
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/
H A Ddispatcher_shared_arch.h28 static inline bool dispatcher_is_disabled_ip(dispatcher_handle_t handle, function
/barrelfish-master/kernel/arch/arm/
H A Dexn.c35 if (dispatcher_is_disabled_ip((dispatcher_handle_t)disp, save_area->named.pc)) {
103 if (dispatcher_is_disabled_ip((dispatcher_handle_t)disp, save_area->named.pc)) {
301 if (dispatcher_is_disabled_ip((dispatcher_handle_t)disp, fault_pc)) {
/barrelfish-master/kernel/arch/armv8/
H A Dexn.c36 disp->d.disabled = dispatcher_is_disabled_ip(dcb_current->disp, saved_pc);
103 dispatcher_is_disabled_ip(dcb_current->disp, save_area->named.pc);
270 assert(dispatcher_is_disabled_ip(handle, fault_pc));
274 assert(!dispatcher_is_disabled_ip(handle, fault_pc));
H A Dsyscall.c1158 dispatcher_is_disabled_ip(handle, context->named.pc);
1276 if (dispatcher_is_disabled_ip((dispatcher_handle_t)disp, context->named.pc)) {
/barrelfish-master/kernel/arch/x86_64/
H A Dsvm_vmkit.c267 if(dispatcher_is_disabled_ip(dcb->disp, amd_vmcb_rip_rd(&vmcb))) {
H A Dirq.c771 bool disabled = dispatcher_is_disabled_ip(handle, rip);
1029 assert(dispatcher_is_disabled_ip(handle, rip));
1033 assert(!dispatcher_is_disabled_ip(handle, rip));
H A Dsyscall.c1567 if (dispatcher_is_disabled_ip(dcb_current->disp, rip)) {
1649 dcb_current->disabled = dispatcher_is_disabled_ip(handle, rip);
H A Dvmx_vmkit.c1186 if(dispatcher_is_disabled_ip(dcb->disp, guest_rip)) {
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c756 dispatcher_is_disabled_ip(handle, eip);
977 assert(dispatcher_is_disabled_ip(handle, eip));
981 assert(!dispatcher_is_disabled_ip(handle, eip));
H A Dsyscall.c1019 dcb_current->disabled = dispatcher_is_disabled_ip(handle, cpu_save_frame[0]);
/barrelfish-master/kernel/arch/armv7/
H A Dsyscall.c1245 dcb_current->disabled = dispatcher_is_disabled_ip(handle, context->named.pc);
1361 if (dispatcher_is_disabled_ip((dispatcher_handle_t)disp, context->named.pc)) {

Completed in 102 milliseconds