pintos/src/userprog/tss.c File Reference

#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 tsstss_get (void)
void tss_update (void)

Variables

static struct tsstss


Function Documentation

struct tss* tss_get ( void   )  [read]

Definition at line 94 of file tss.c.

References ASSERT, and NULL.

Referenced by gdt_init().

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


Variable Documentation

struct tss* tss [static]

Definition at line 77 of file tss.c.


Generated on Mon Jan 10 16:43:58 2011 for Pintos by  doxygen 1.5.6