| CS318 - Pintos
    Pintos source browser for JHU CS318 course | 
#include "threads/loader.h"

Go to the source code of this file.
| Macros | |
| #define | SEL_UCSEG 0x1B | 
| Segment selectors.  More... | |
| #define | SEL_UDSEG 0x23 | 
| User data selector.  More... | |
| #define | SEL_TSS 0x28 | 
| Task-state segment.  More... | |
| #define | SEL_CNT 6 | 
| Number of segments.  More... | |
| Functions | |
| void | gdt_init (void) | 
| userprog/gdt.h  More... | |
| #define SEL_UCSEG 0x1B | 
| void gdt_init | ( | void | ) | 
The bootstrap loader's GDT didn't include user-mode selectors or a TSS, but we need both now.
Definition at line 36 of file gdt.c.
References gdt, make_code_desc(), make_data_desc(), make_gdtr_operand(), make_tss_desc(), SEL_KCSEG, SEL_KDSEG, SEL_NULL, SEL_TSS, SEL_UCSEG, SEL_UDSEG, and tss_get().
Referenced by pintos_init().


 1.8.16
 1.8.16