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().