#define _I386_CPU_THREADS_H_
#include <i386/cpu_data.h>
-#include <i386/mp.h>
#include <i386/cpu_topology.h>
+#include <i386/mp.h>
/*
* These are defined here rather than in cpu_topology.h so as to keep
extern void cpu_thread_init(void);
extern void cpu_thread_halt(void);
-extern void x86_set_lcpu_numbers(x86_lcpu_t *lcpu);
-extern void x86_set_core_numbers(x86_core_t *core, x86_lcpu_t *lcpu);
-extern void x86_set_die_numbers(x86_die_t *die, x86_lcpu_t *lcpu);
-extern void x86_set_pkg_numbers(x86_pkg_t *pkg, x86_lcpu_t *lcpu);
+extern void x86_set_logical_topology(x86_lcpu_t *lcpu, int pnum, int lnum);
+extern void x86_validate_topology(void);
extern x86_topology_parameters_t topoParms;
+extern boolean_t topo_dbg;
+#define TOPO_DBG(x...) \
+ do { \
+ if (topo_dbg) \
+ kprintf(x); \
+ } while (0) \
+
#endif /* _I386_CPU_THREADS_H_ */