basic_cap          53 arch/x86/kvm/vmx/capabilities.h 	u32 basic_cap;
basic_cap          72 arch/x86/kvm/vmx/capabilities.h 	return	(((u64)vmcs_config.basic_cap << 32) & VMX_BASIC_INOUT);
basic_cap        2486 arch/x86/kvm/vmx/vmx.c 	vmcs_conf->basic_cap = vmx_msr_high & ~0x1fff;