Searched refs:max_cpuid_80000000 (Results 1 – 1 of 1) sorted by relevance
1350 static int max_cpuid_80000000; in do_host_cpuid() local1351 if (!READ_ONCE(max_cpuid_80000000)) in do_host_cpuid()1352 WRITE_ONCE(max_cpuid_80000000, cpuid_eax(0x80000000)); in do_host_cpuid()1353 if (function > READ_ONCE(max_cpuid_80000000)) in do_host_cpuid()