Searched refs:VM_REG_GUEST_R14 (Results 1 – 9 of 9) sorted by relevance
72 VM_REG_GUEST_R14, enumerator
442 VM_REG_GUEST_R14, /* KDIREG_R14 */
157 VM_REG_GUEST_R14,
1670 if ((error = vm_set_register(vcpu, VM_REG_GUEST_R14, zero)) != 0) in vcpu_reset()
2094 case VM_REG_GUEST_R14: in swctx_regptr()
708 error = vm_get_register(vcpu, VM_REG_GUEST_R14, &r14); in get_all_registers()
3071 case VM_REG_GUEST_R14: in vmxctx_regptr()
420 VM_REG_GUEST_R14, enumerator
3049 VM_REG_GUEST_R14, in vcpu_arch_reset() enumerator