Searched refs:fault_handled (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_arm_context.c16 if (!fault_handled(vcpu->vcpu_arch.fault)) {
35 if (!fault_handled(vcpu->vcpu_arch.fault)) {
60 if (!fault_handled(vcpu->vcpu_arch.fault)) {
81 if (!fault_handled(vcpu->vcpu_arch.fault)) {
H A Dfault.h155 int fault_handled(fault_t *fault);
H A Dfault.c287 assert(fault_handled(fault));
312 assert(fault_handled(fault));
563 int fault_handled(fault_t *f) function
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c1061 if (!fault_handled(vcpu->vcpu_arch.fault) && fault_is_wfi(vcpu->vcpu_arch.fault)) {

Completed in 78 milliseconds