Searched refs:fault_set_ctx (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dfault.h220 void fault_set_ctx(fault_t *f, seL4_UserContext *ctx);
H A Dguest_arm_context.c19 fault_set_ctx(vcpu->vcpu_arch.fault, &context);
H A Dfault.c557 void fault_set_ctx(fault_t *f, seL4_UserContext *ctx) function

Completed in 30 milliseconds