Searched refs:_vmx_misc_cap (Results 1 – 1 of 1) sorted by relevance
253 u64 _vmx_misc_cap = 0; in vmx_init_vmcs_config() local308 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