rdtscp_enabled   4047 arch/x86/kvm/vmx/vmx.c 		bool rdtscp_enabled = guest_cpuid_has(vcpu, X86_FEATURE_RDTSCP);
rdtscp_enabled   4048 arch/x86/kvm/vmx/vmx.c 		if (!rdtscp_enabled)
rdtscp_enabled   4052 arch/x86/kvm/vmx/vmx.c 			if (rdtscp_enabled)