#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"#include "intrinsic.h"
Functions | |
| void | tss_init (void) |
| struct task_state * | tss_get (void) |
| void | tss_update (struct thread *next) |
Variables | |
| struct task_state * | tss |
| struct task_state * tss_get | ( | void | ) |
| void tss_init | ( | void | ) |


| void tss_update | ( | struct thread * | next | ) |


| struct task_state* tss |