1 /* This file is part of the coreboot project. */
2 /* SPDX-License-Identifier: GPL-2.0-or-later */
7 #include <device/device.h>
10 #define CPUID_SKYLAKE_SP_A0_A1 0x506f0
11 #define CPUID_SKYLAKE_SP_B0 0x506f1
12 #define CPUID_SKYLAKE_SP_4 0x50654
14 /* CPU bus clock is fixed at 100MHz */
17 int get_cpu_count(void);
18 void xeon_sp_init_cpus(struct device
*dev
);