src/include/cpu/x86/topology.h

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #ifndef CPU_X86_TOPOLOGY_H
   4 #define CPU_X86_TOPOLOGY_H
   5
   6 #include <device/device.h>
   7
   8 /*
   9  * Sets the topology information for the given CPU device using the bitfield descriptors
  10  * obtained from the CPUID leaves. Per Intel Software Developer Manual recommendation, it
  11  * prioritizes CPUID EAX=0x1f over CPUID EAX=0xb if available.
  12  *
  13  * If the topology information cannot be obtained from CPUID, it sets default values.
  14  */
  15 void set_cpu_topology(struct device *cpu);
  16
  17 #endif