![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <arch/cpu.h>
#include <console/console.h>
#include <cpu/intel/hyperthreading.h>
#include <device/device.h>
#include <option.h>
Go to the source code of this file.
Functions | |
void | intel_sibling_init (struct device *cpu) |
Variables | |
static int | first_time = 1 |
static int | disable_siblings = !CONFIG(LOGICAL_CPUS) |
Definition at line 14 of file intel_sibling.c.
References alloc_find_dev(), device_path::apic, apic_path::apic_id, BIOS_DEBUG, device::bus, cpuid, DEVICE_PATH_APIC, disable_siblings, device::enabled, first_time, get_uint_option(), device::path, and printk.
|
static |
Definition at line 12 of file intel_sibling.c.
Referenced by intel_sibling_init().
|
static |
Definition at line 11 of file intel_sibling.c.
Referenced by intel_sibling_init().