Searched refs:fault_get_ctx (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_arm_context.c38 regs = fault_get_ctx(vcpu->vcpu_arch.fault);
63 regs = fault_get_ctx(vcpu->vcpu_arch.fault);
84 regs = fault_get_ctx(vcpu->vcpu_arch.fault);
H A Dfault.c113 DERRATA("Errata766422 @ 0x%08x (0x%08x)\n", fault_get_ctx(f)->pc, inst);
129 DERRATA("Errata766422 @ 0x%08lx (0x%04lx)\n", (long) fault_get_ctx(f)->pc, (long) inst);
244 f->pmode = fault_get_ctx(f)->cpsr & 0x1f;
381 regs = fault_get_ctx(fault);
407 seL4_Word *reg_ctx = decode_rt(rt, fault_get_ctx(fault));
465 print_ctx_regs(fault_get_ctx(fault));
514 data = *decode_rt(rt, fault_get_ctx(f));
544 seL4_UserContext *fault_get_ctx(fault_t *f) function
H A Dfault.h213 seL4_UserContext *fault_get_ctx(fault_t *fault);
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/arm_hyp/
H A Dfault.c180 return CPSR_IS_THUMB(fault_get_ctx(f)->cpsr);
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/aarch64/
H A Dfault.c154 return CPSR_IS_THUMB(fault_get_ctx(f)->spsr);

Completed in 33 milliseconds