Searched refs:VM_REG_GUEST_R10 (Results 1 – 9 of 9) sorted by relevance
68 VM_REG_GUEST_R10, enumerator
438 VM_REG_GUEST_R10, /* KDIREG_R10 */
153 VM_REG_GUEST_R10,
1662 if ((error = vm_set_register(vcpu, VM_REG_GUEST_R10, zero)) != 0) in vcpu_reset()
2086 case VM_REG_GUEST_R10: in swctx_regptr()
684 error = vm_get_register(vcpu, VM_REG_GUEST_R10, &r10); in get_all_registers()
3063 case VM_REG_GUEST_R10: in vmxctx_regptr()
416 VM_REG_GUEST_R10, enumerator
3045 VM_REG_GUEST_R10, in vcpu_arch_reset() enumerator