-#include "gdt.h"
-#include "debug.h"
-#include "mmu.h"
-#include "palloc.h"
-#include "tss.h"
+#include "userprog/gdt.h"
+#include <debug.h>
+#include "userprog/tss.h"
+#include "threads/mmu.h"
+#include "threads/palloc.h"
/* The Global Descriptor Table (GDT).
/* Load GDTR, TR. See [IA32-v3] 2.4.1, 2.4.4, 6.2.3. */
gdtr_operand = make_gdtr_operand (sizeof gdt - 1, gdt);
- asm volatile ("lgdt %0" :: "m" (gdtr_operand));
+ asm volatile ("lgdt [%0]" :: "r" (&gdtr_operand));
asm volatile ("ltr %w0" :: "r" (SEL_TSS));
}
\f