Pintos: pintos/src/userprog/gdt.h Source File

00001 #ifndef USERPROG_GDT_H
00002 //98214769
00003 #define USERPROG_GDT_H
00004 
00005 #include "threads/loader.h"
00006 
00007 /* Segment selectors.
00008    More selectors are defined by the loader in loader.h. */
00009 #define SEL_UCSEG       0x1B    /* User code selector. */
00010 #define SEL_UDSEG       0x23    /* User data selector. */
00011 #define SEL_TSS         0x28    /* Task-state segment. */
00012 #define SEL_CNT         6       /* Number of segments. */
00013 
00014 void gdt_init (void);
00015 
00016 #endif /* userprog/gdt.h */