Searched refs:ctls1 (Results 1 – 1 of 1) sorted by relevance
1018 uint64_t ctls1; in vmx_event_waitexit_enable() local1038 uint64_t ctls1; in vmx_event_waitexit_disable() local1610 uint64_t efer, ctls1; in vmx_inkernel_handle_cr0() local1648 ctls1 = vmx_vmread(VMCS_ENTRY_CTLS); in vmx_inkernel_handle_cr0()1651 ctls1 |= ENTRY_CTLS_LONG_MODE; in vmx_inkernel_handle_cr0()1654 ctls1 &= ~ENTRY_CTLS_LONG_MODE; in vmx_inkernel_handle_cr0()1658 vmx_vmwrite(VMCS_ENTRY_CTLS, ctls1); in vmx_inkernel_handle_cr0()2594 uint64_t ctls1, intstate; in vmx_vcpu_setstate() local2707 ctls1 = vmx_vmread(VMCS_ENTRY_CTLS); in vmx_vcpu_setstate()2709 ctls1 |= ENTRY_CTLS_LONG_MODE; in vmx_vcpu_setstate()[all …]