pintos/src/userprog/gdt.h File Reference

#include "threads/loader.h"

Go to the source code of this file.

Defines
#define	SEL_UCSEG   0x1B
#define	SEL_UDSEG   0x23
#define	SEL_TSS   0x28
#define	SEL_CNT   6
Functions
void	gdt_init (void)

---

Define Documentation

#define SEL_CNT   6

Definition at line 12 of file gdt.h.

#define SEL_TSS   0x28

Definition at line 11 of file gdt.h.

Referenced by gdt_init().

#define SEL_UCSEG   0x1B

Definition at line 9 of file gdt.h.

Referenced by gdt_init(), kill(), and start_process().

#define SEL_UDSEG   0x23

Definition at line 10 of file gdt.h.

Referenced by gdt_init(), and start_process().

---

Function Documentation

void gdt_init

(

void

)

Definition at line 37 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 main().