Searched refs:fault_t (Results 1 - 9 of 9) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | fault.h | 15 typedef struct fault fault_t; typedef in typeref:struct:fault
67 typedef struct fault fault_t; typedef in typeref:struct:fault
76 fault_t *fault_init(vm_vcpu_t *vcpu);
85 int new_vcpu_fault(fault_t *fault, uint32_t hsr);
94 int new_memory_fault(fault_t *fault);
103 int abandon_fault(fault_t *fault);
113 int restart_fault(fault_t *fault);
123 int ignore_fault(fault_t *fault);
134 int advance_fault(fault_t *fault);
147 seL4_Word fault_emulate(fault_t *faul
[all...] |
| H A D | guest_vcpu_fault_arch.c | 13 fault_t *fault = vcpu->vcpu_arch.fault;
19 fault_t *fault = vcpu->vcpu_arch.fault;
25 fault_t *fault = vcpu->vcpu_arch.fault;
31 fault_t *fault = vcpu->vcpu_arch.fault;
37 fault_t *fault = vcpu->vcpu_arch.fault;
43 fault_t *fault = vcpu->vcpu_arch.fault;
49 fault_t *fault = vcpu->vcpu_arch.fault;
|
| H A D | mem_abort.c | 20 static int unhandled_memory_fault(vm_t *vm, vm_vcpu_t *vcpu, fault_t *fault)
44 int handle_page_fault(vm_t *vm, vm_vcpu_t *vcpu, fault_t *fault)
85 fault_t *fault;
|
| H A D | fault.c | 73 static int maybe_fetch_fault_instruction(fault_t *f)
103 static int errata766422_get_rt(fault_t *f, seL4_Word hsr)
150 static int decode_instruction(fault_t *f)
237 static int get_rt(fault_t *f)
267 fault_t *fault_init(vm_vcpu_t *vcpu)
269 fault_t *fault;
271 fault = (fault_t *)calloc(1, sizeof(*fault));
284 int new_vcpu_fault(fault_t *fault, uint32_t hsr)
302 int new_memory_fault(fault_t *fault)
354 int abandon_fault(fault_t *faul
[all...] |
| H A D | vm.c | 140 fault_t *fault;
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/arm/sel4vm/arch/ |
| H A D | guest_vm_arch.h | 17 typedef struct fault fault_t; typedef in typeref:struct:fault
31 * @param {fault_t *} fault Current VCPU fault
36 fault_t *fault;
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/arm_hyp/ |
| H A D | fault.c | 82 int decode_vcpu_reg(int rt, fault_t *f)
159 void fault_print_data(fault_t *fault)
178 bool fault_is_thumb(fault_t *f)
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/aarch64/ |
| H A D | fault.c | 128 int decode_vcpu_reg(int rt, fault_t *f)
133 void fault_print_data(fault_t *fault)
152 bool fault_is_thumb(fault_t *f)
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
| H A D | vgic.c | 637 fault_t *fault = vcpu->vcpu_arch.fault;
792 fault_t *fault = vcpu->vcpu_arch.fault;
|
Completed in 43 milliseconds