PKUOS - Pintos
Pintos source browser for PKU Operating System 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().