coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
hyperthreading.h
Go to the documentation of this file.
1 #ifndef CPU_INTEL_HYPERTHREADING_H
2 #define CPU_INTEL_HYPERTHREADING_H
3 
4 struct device;
5 void intel_sibling_init(struct device *cpu);
6 
7 #endif /* CPU_INTEL_HYPERTHREADING_H */
intel_sibling_init
void intel_sibling_init(struct device *cpu)
Definition: intel_sibling.c:14
device
Definition: device.h:107