Symbol: VMCS_ENTRY_CTLS
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1684
ctls1 = vmx_vmread(VMCS_ENTRY_CTLS);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1694
vmx_vmwrite(VMCS_ENTRY_CTLS, ctls1);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2855
ctls1 = vmx_vmread(VMCS_ENTRY_CTLS);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2861
vmx_vmwrite(VMCS_ENTRY_CTLS, ctls1);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3100
vmx_vmwrite(VMCS_ENTRY_CTLS, vmx_entry_ctls);