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 /* Fill in the topology in struct path APIC based CPUID EAX=0xb. 9 * If leaf 0xb is not supported or is not implemented then no topology 10 * will be filled in. 11 */ 12 void set_cpu_topology_from_leaf_b(struct device *cpu); 13 14 /* Fill in the topology node ID in struct path APIC based CPUID EAX=0x1f 15 * or CPUID EAX=0xb. If those leaves aren't supported then the node ID 16 * won't be updated. 17 */ 18 void set_cpu_node_id_leaf_1f_b(struct device *cpu); 19 #endif 20