#include "userprog/tss.h"
#include <debug.h>
#include <stddef.h>
#include "userprog/gdt.h"
#include "threads/thread.h"
#include "threads/palloc.h"
#include "threads/vaddr.h"
Go to the source code of this file.
Data Structures | |
struct | tss |
Functions | |
void | tss_init (void) |
struct tss * | tss_get (void) |
void | tss_update (void) |
Variables | |
static struct tss * | tss |
struct tss* tss_get | ( | void | ) | [read] |
void tss_init | ( | void | ) |
Definition at line 81 of file tss.c.
References tss::bitmap, PAL_ASSERT, PAL_ZERO, palloc_get_page(), SEL_KDSEG, tss::ss0, and tss_update().
Referenced by main().
void tss_update | ( | void | ) |
Definition at line 103 of file tss.c.
References ASSERT, tss::esp0, NULL, PGSIZE, and thread_current().
Referenced by process_activate(), and tss_init().