Searched defs:vm_get_thread_context_reg (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_arm_context.c79 int vm_get_thread_context_reg(vm_vcpu_t *vcpu, unsigned int reg, uintptr_t *value) function
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_x86_context.c39 int vm_get_thread_context_reg(vm_vcpu_t *vcpu, unsigned int reg, uint32_t *value) function

Completed in 30 milliseconds