pintos/src/userprog/tss.h File Reference

#include <stdint.h>

Go to the source code of this file.

Functions
void	tss_init (void)
struct tss *	tss_get (void)
void	tss_update (void)

---

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