Searched refs:VM_REG_GUEST_R11 (Results 1 – 9 of 9) sorted by relevance
69 VM_REG_GUEST_R11, enumerator
439 VM_REG_GUEST_R11, /* KDIREG_R11 */
154 VM_REG_GUEST_R11,
1664 if ((error = vm_set_register(vcpu, VM_REG_GUEST_R11, zero)) != 0) in vcpu_reset()
2088 case VM_REG_GUEST_R11: in swctx_regptr()
690 error = vm_get_register(vcpu, VM_REG_GUEST_R11, &r11); in get_all_registers()
3065 case VM_REG_GUEST_R11: in vmxctx_regptr()
417 VM_REG_GUEST_R11, enumerator
3046 VM_REG_GUEST_R11, in vcpu_arch_reset() enumerator