X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Floader.h;fp=src%2Fthreads%2Floader.h;h=f5d7a9ba794bf2e045789deea123ef37541f122d;hb=6c5c6fdfe80bad40c90c19b67f00226610d59a38;hp=9507a6b4ad4426fc0e8e1ce6f1337950cfd09927;hpb=c9d103e3fc1f398acb10bbaa66bf5a61318d26e9;p=pintos-anon

diff --git a/src/threads/loader.h b/src/threads/loader.h
index 9507a6b..f5d7a9b 100644
--- a/src/threads/loader.h
+++ b/src/threads/loader.h
@@ -24,4 +24,10 @@
                                                 /* 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 */