Searched refs:VMCS_ENTRY_CTLS (Results 1 – 1 of 1) sorted by relevance
368 #define VMCS_ENTRY_CTLS 0x00004012 macro1648 ctls1 = vmx_vmread(VMCS_ENTRY_CTLS); in vmx_inkernel_handle_cr0()1658 vmx_vmwrite(VMCS_ENTRY_CTLS, ctls1); in vmx_inkernel_handle_cr0()2707 ctls1 = vmx_vmread(VMCS_ENTRY_CTLS); in vmx_vcpu_setstate()2713 vmx_vmwrite(VMCS_ENTRY_CTLS, ctls1); in vmx_vcpu_setstate()2945 vmx_vmwrite(VMCS_ENTRY_CTLS, vmx_entry_ctls); in vmx_vcpu_init()