Searched refs:basic_cap (Results 1 – 1 of 1) sorted by relevance
1324 u32 basic_cap; member1862 return (((u64)vmcs_config.basic_cap << 32) & VMX_BASIC_INOUT); in cpu_has_vmx_basic_inout()4654 vmcs_conf->basic_cap = vmx_msr_high & ~0x1fff; in setup_vmcs_config()
