/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef CPU_X86_TOPOLOGY_H
#define CPU_X86_TOPOLOGY_H

#include <device/device.h>

/* Fill in the topology in struct path APIC based CPUID EAX=0xb.
 * If leaf 0xb is not supported or is not implemented then no topology
 * will be filled in.
 */
void set_cpu_topology_from_leaf_b(struct device *cpu);

/* Fill in the topology node ID in struct path APIC based CPUID EAX=0x1f
 * or CPUID EAX=0xb. If those leaves aren't supported then the node ID
 * won't be updated.
 */
void set_cpu_node_id_leaf_1f_b(struct device *cpu);
#endif