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)