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;
kprintf(x); \
} while (0) \
-extern void validate_topology(void);
-
#endif /* _I386_CPU_THREADS_H_ */