pintos-os.org Git - pintos-anon/blob - src/userprog/gdt.h

   1 #ifndef HEADER_GDT_H
   2 #define HEADER_GDT_H 1
   3
   4 #include "loader.h"
   5
   6 /* Segment selectors.
   7    More selectors are defined by the loader in loader.h. */
   8 #define SEL_UCSEG       0x1B    /* User code selector. */
   9 #define SEL_UDSEG       0x23    /* User data selector. */
  10 #define SEL_TSS         0x28    /* Task-state segment. */
  11 #define SEL_CNT         6       /* Number of segments. */
  12
  13 void gdt_init (void);
  14
  15 #endif /* gdt.h */