From: Ben Pfaff Date: Fri, 27 Aug 2004 00:06:16 +0000 (+0000) Subject: Set RPL=3 for user selectors. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0bf068e3843cbefe0a4d0a66d1734fde41e8dadd;p=pintos-anon Set RPL=3 for user selectors. --- diff --git a/src/threads/mmu.h b/src/threads/mmu.h index 87933f1..76f10bd 100644 --- 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. */