#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 x86_topology_parameters_t topoParms;
+extern boolean_t topo_dbg;
+#define TOPO_DBG(x...) \
+ do { \
+ if (topo_dbg) \
+ kprintf(x); \
+ } while (0) \
+
+extern void validate_topology(void);
+
#endif /* _I386_CPU_THREADS_H_ */