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