Changed magic number from 0xE5 to I_VMMPC_POSTED
[akaros.git] / kern / arch / x86 / console.c
index 218899f..59503ee 100644 (file)
@@ -9,7 +9,7 @@
 #include <assert.h>
 #include <stdio.h>
 #include <sys/queue.h>
-#include <arch/coreid.h>
+#include <arch/topology.h>
 
 #include <ros/memlayout.h>