Searched refs:rdtscp_enabled (Results 1 – 1 of 1) sorted by relevance
9140 bool rdtscp_enabled = guest_cpuid_has_rdtscp(vcpu); in vmx_cpuid_update() local9141 if (!rdtscp_enabled) in vmx_cpuid_update()9145 if (rdtscp_enabled) in vmx_cpuid_update()