Searched refs:VM_REG_GUEST_R12 (Results 1 – 9 of 9) sorted by relevance
70 VM_REG_GUEST_R12, enumerator
440 VM_REG_GUEST_R12, /* KDIREG_R12 */
155 VM_REG_GUEST_R12,
1666 if ((error = vm_set_register(vcpu, VM_REG_GUEST_R12, zero)) != 0) in vcpu_reset()
2090 case VM_REG_GUEST_R12: in swctx_regptr()
696 error = vm_get_register(vcpu, VM_REG_GUEST_R12, &r12); in get_all_registers()
3067 case VM_REG_GUEST_R12: in vmxctx_regptr()
418 VM_REG_GUEST_R12, enumerator
3047 VM_REG_GUEST_R12, in vcpu_arch_reset() enumerator