|
PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <stdint.h>

Go to the source code of this file.
Functions | |
| void | tss_init (void) |
| Initializes the kernel TSS. More... | |
| struct tss * | tss_get (void) |
| Returns the kernel TSS. More... | |
| void | tss_update (void) |
| userprog/tss.h More... | |
| struct tss * tss_get | ( | void | ) |
| void tss_init | ( | void | ) |
Initializes the kernel TSS.
Definition at line 80 of file tss.c.
References tss::bitmap, PAL_ASSERT, PAL_ZERO, palloc_get_page(), SEL_KDSEG, tss::ss0, and tss_update().
Referenced by pintos_init().


| void tss_update | ( | void | ) |
Definition at line 102 of file tss.c.
References ASSERT, tss::esp0, NULL, PGSIZE, and thread_current().
Referenced by process_activate(), and tss_init().

