coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
cpu.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _CPU_INTEL_DENVERTON_NS_H
4 #define _CPU_INTEL_DENVERTON_NS_H
5 
6 #include <cpu/intel/cpu_ids.h>
7 
8 int get_cpu_count(void);
9 
10 /* Everything below this line is ignored in the DSDT */
11 #ifndef __ACPI__
12 
13 #define MSR_CORE_THREAD_COUNT 0x35
14 #define MCH_BAR_CORE_EXISTS_MASK 0x7164
15 #define MCH_BAR_CORE_DISABLE_MASK 0x7168
16 
17 /* CPU bus clock is fixed at 100MHz */
18 #define CPU_BCLK 100
19 
20 #endif /* __ACPI__ */
21 
22 #endif /* _CPU_INTEL_DENVERTON_NS_H */
cpu_ids.h
get_cpu_count
int get_cpu_count(void)
Definition: cpu.c:10