Searched refs:dispatcher_is_disabled_ip (Results 1 - 14 of 14) sorted by relevance
/barrelfish-master/include/arch/aarch64/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 29 static inline bool dispatcher_is_disabled_ip(dispatcher_handle_t handle, function
|
/barrelfish-master/include/arch/arm/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 28 static inline bool dispatcher_is_disabled_ip(dispatcher_handle_t handle, function
|
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 28 static inline bool dispatcher_is_disabled_ip(dispatcher_handle_t handle, function
|
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 28 static inline bool dispatcher_is_disabled_ip(dispatcher_handle_t handle, function
|
/barrelfish-master/kernel/arch/arm/ |
H A D | exn.c | 35 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 D | exn.c | 36 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 D | syscall.c | 1158 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 D | svm_vmkit.c | 267 if(dispatcher_is_disabled_ip(dcb->disp, amd_vmcb_rip_rd(&vmcb))) {
|
H A D | irq.c | 771 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 D | syscall.c | 1567 if (dispatcher_is_disabled_ip(dcb_current->disp, rip)) { 1649 dcb_current->disabled = dispatcher_is_disabled_ip(handle, rip);
|
H A D | vmx_vmkit.c | 1186 if(dispatcher_is_disabled_ip(dcb->disp, guest_rip)) {
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | irq.c | 756 dispatcher_is_disabled_ip(handle, eip); 977 assert(dispatcher_is_disabled_ip(handle, eip)); 981 assert(!dispatcher_is_disabled_ip(handle, eip));
|
H A D | syscall.c | 1019 dcb_current->disabled = dispatcher_is_disabled_ip(handle, cpu_save_frame[0]);
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 1245 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 183 milliseconds