Searched defs:vm_set_arm_vcpu_reg (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ | ||
H A D | guest_arm_context.c | 100 int vm_set_arm_vcpu_reg(vm_vcpu_t *vcpu, seL4_Word reg, uintptr_t value) function |
Completed in 107 milliseconds