Searched refs:rdtscp_enabled (Results 1 – 1 of 1) sorted by relevance
8945 bool rdtscp_enabled = guest_cpuid_has_rdtscp(vcpu); in vmx_cpuid_update() local8946 if (!rdtscp_enabled) in vmx_cpuid_update()8950 if (rdtscp_enabled) in vmx_cpuid_update()