/* 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);

#endif