x86: Provide an option to enable legacy USB
[akaros.git] / kern / arch / x86 / smp.c
index 55e2817..d576bb0 100644 (file)
@@ -5,6 +5,7 @@
  */
 
 #include <arch/arch.h>
+#include <arch/topology.h>
 #include <bitmask.h>
 #include <smp.h>
 
 #include <env.h>
 #include <trap.h>
 
-/* Lookup table for core_id and per_cpu_inf, indexed by real __core_id() */
-int hw_coreid_lookup[MAX_NUM_CORES] = {[0 ... (MAX_NUM_CORES - 1)] -1};
-int os_coreid_lookup[MAX_NUM_CORES] = {[0 ... (MAX_NUM_CORES - 1)] -1};
-
 /*************************** IPI Wrapper Stuff ********************************/
 // checklists to protect the global interrupt_handlers for 0xf0, f1, f2, f3, f4
 // need to be global, since there is no function that will always exist for them