Searched refs:amd64_cpuid_supported (Results 1 – 4 of 4) sorted by relevance
58 extern uint32_t amd64_cpuid_supported(void);
170 if (amd64_cpuid_supported() == 0) in amd64_config_cpu()
2642 ENTRY(amd64_cpuid_supported)
1290 uint32_t amd64_cpuid_supported(void) in amd64_cpuid_supported() function