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 AMD_BLOCK_CPU_H
4 #define AMD_BLOCK_CPU_H
5 
6 void early_cache_setup(void);
7 int get_cpu_count(void);
8 unsigned int get_threads_per_core(void);
9 void set_cstate_io_addr(void);
10 void write_resume_eip(void);
11 
12 #endif /* AMD_BLOCK_CPU_H */
unsigned int get_threads_per_core(void)
Definition: cpu.c:15
int get_cpu_count(void)
Definition: cpu.c:10
void write_resume_eip(void)
void early_cache_setup(void)
Definition: early_cache.c:15
void set_cstate_io_addr(void)
Definition: cpu.c:21