+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) \
+