Searched refs:_vmx_misc_cap (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/x86/hvm/vmx/
A D	vmcs.c	253 u64 _vmx_misc_cap = 0; in vmx_init_vmcs_config() local 308 rdmsrl(MSR_IA32_VMX_MISC, _vmx_misc_cap); in vmx_init_vmcs_config() 309 if ( _vmx_misc_cap & VMX_MISC_VMWRITE_ALL ) in vmx_init_vmcs_config()

Completed in 5 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025