Searched refs:VM_REG_GUEST_SEPC (Results 1 – 5 of 5) sorted by relevance
320 error = vm_set_register(bsp, VM_REG_GUEST_SEPC, elr); in bhyve_init_platform()
204 error = vm_set_register(newvcpu, VM_REG_GUEST_SEPC, in vmexit_ecall_hsm()
91 VM_REG_GUEST_SEPC, enumerator
845 case VM_REG_GUEST_SEPC: in hypctx_regptr()
985 if (error || reg != VM_REG_GUEST_SEPC) in vm_set_register()