![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <cpu/intel/cpu_ids.h>
Go to the source code of this file.
Macros | |
#define | MSR_CORE_THREAD_COUNT 0x35 |
#define | MCH_BAR_CORE_EXISTS_MASK 0x7164 |
#define | MCH_BAR_CORE_DISABLE_MASK 0x7168 |
#define | CPU_BCLK 100 |
Functions | |
int | get_cpu_count (void) |
int get_cpu_count | ( | void | ) |
Definition at line 10 of file cpu.c.
References BIOS_DEBUG, cpu_read_topology(), cpuid_ecx(), detect_num_cpus_via_cpuid(), detect_num_cpus_via_mch(), printk, and read_cpu_topology().