Move user exception support into userprog.
[pintos-anon] / src / threads / loader.h
index 9507a6b4ad4426fc0e8e1ce6f1337950cfd09927..f5d7a9ba794bf2e045789deea123ef37541f122d 100644 (file)
                                                 /* Kernel command line. */
 #define LOADER_RAM_PAGES (LOADER_CMD_LINE - 4)  /* # of pages of RAM. */
 
+/* GDT selectors defined by loader.
+   More selectors are defined by userprog/gdt.h. */
+#define SEL_NULL        0x00    /* Null selector. */
+#define SEL_KCSEG       0x08    /* Kernel code selector. */
+#define SEL_KDSEG       0x10    /* Kernel data selector. */
+
 #endif /* loader.h */