Set RPL=3 for user selectors.

[pintos-anon] / src / threads / mmu.h

diff --git a/src/threads/mmu.h b/src/threads/mmu.h
index 87933f19a397d19acdfa23d71cc980e646253c0b..76f10bdf60ef2596fc8f08b3422e1af1d812658a 100644 (file)
--- a/src/threads/mmu.h
+++ b/src/threads/mmu.h
@@ -193,8 +193,8 @@ vtop (void *vaddr)
 #define SEL_NULL        0x00    /* Null selector. */
 #define SEL_KCSEG       0x08    /* Kernel code selector. */
 #define SEL_KDSEG       0x10    /* Kernel data selector. */
-#define SEL_UCSEG       0x18    /* Kernel code selector. */
-#define SEL_UDSEG       0x20    /* Kernel data selector. */
+#define SEL_UCSEG       0x1B    /* User code selector. */
+#define SEL_UDSEG       0x23    /* User data selector. */
 #define SEL_TSS         0x28    /* Task-state segment. */
 #define SEL_CNT         6       /* Number of segments. */