Break GDT, TSS out of init.c, mmu.h.
[pintos-anon] / src / threads / thread.c
index 13b0b7e7f37367db09e5b8f30f0bda6b0ae57488..fed6b841aded48864edee8307fec6fb6090c87ae 100644 (file)
@@ -4,6 +4,7 @@
 #include "interrupt.h"
 #include "intr-stubs.h"
 #include "lib.h"
+#include "gdt.h"
 #include "mmu.h"
 #include "palloc.h"
 #include "random.h"