Searched defs:fault (Results 1 - 19 of 19) sorted by last modified time

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/sel4_arch/arm_hyp/
H A Dfault.c159 void fault_print_data(fault_t *fault) argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/sel4_arch/aarch64/
H A Dfault.c133 void fault_print_data(fault_t *fault) argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dvm.c147 int fault; local
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dvm.c140 fault_t *fault; local
[all...]
H A Dmem_abort.c20 static int unhandled_memory_fault(vm_t *vm, vm_vcpu_t *vcpu, fault_t *fault) argument
44 int handle_page_fault(vm_t *vm, vm_vcpu_t *vcpu, fault_t *fault) argument
85 fault_t *fault; local
[all...]
H A Dguest_vcpu_fault_arch.c13 fault_t *fault = vcpu->vcpu_arch.fault; local
19 fault_t *fault = vcpu->vcpu_arch.fault; local
25 fault_t *fault = vcpu->vcpu_arch.fault; local
31 fault_t *fault = vcpu->vcpu_arch.fault; local
37 fault_t *fault = vcpu->vcpu_arch.fault; local
43 fault_t *fault = vcpu->vcpu_arch.fault; local
49 fault_t *fault = vcpu->vcpu_arch.fault; local
[all...]
H A Dfault.c269 fault_t *fault; local
284 new_vcpu_fault(fault_t *fault, uint32_t hsr) argument
302 new_memory_fault(fault_t *fault) argument
354 abandon_fault(fault_t *fault) argument
363 restart_fault(fault_t *fault) argument
376 ignore_fault(fault_t *fault) argument
396 advance_fault(fault_t *fault) argument
452 print_fault(fault_t *fault) argument
627 fault_get_width_size(fault_t *fault) argument
[all...]
H A Dfault.h36 struct fault { struct
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c637 fault_t *fault = vcpu->vcpu_arch.fault; local
792 fault_t *fault = vcpu->vcpu_arch.fault; local
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/arm/sel4vm/arch/
H A Dguest_vm_arch.h36 fault_t *fault; member in struct:vm_vcpu_arch
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c933 word_t addr, fault; local
949 word_t pc, fault; local
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1261 word_t addr, fault; local
1291 word_t pc, fault; local
[all...]
/seL4-camkes-master/kernel/src/kernel/
H A Dfaulthandler.c56 seL4_Fault_t fault = current_fault; local
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h558 seL4_Word fault; local
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h789 seL4_Word fault; local
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c567 uint32_t fault; local
/seL4-camkes-master/kernel/src/api/
H A Dfaults.c120 seL4_Fault_t fault = receiver->tcbFault; local
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dthread.c233 seL4_Fault_t fault = seL4_getFault(tag); local
[all...]
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dhcp_client.c1049 struct pico_ip4 fault = { local

Completed in 228 milliseconds