1 2 3 4 5 6 7 8 9
/* SPDX-License-Identifier: GPL-2.0-only */ #include <amdblocks/cpu.h> #include <cpu/cpu.h> int get_cpu_count(void) { return 1 + (cpuid_ecx(0x80000008) & 0xff); }