PKUOS - Pintos
Pintos source browser for PKU Operating System course
tss.h
Go to the documentation of this file.
1#ifndef USERPROG_TSS_H
2#define USERPROG_TSS_H
3
4#include <stdint.h>
5
6struct tss;
7void tss_init (void);
8struct tss *tss_get (void);
9void tss_update (void);
10
11#endif /**< userprog/tss.h */
The Task-State Segment (TSS).
Definition: tss.c:52
void tss_update(void)
userprog/tss.h
Definition: tss.c:102
void tss_init(void)
Initializes the kernel TSS.
Definition: tss.c:80
struct tss * tss_get(void)
Returns the kernel TSS.
Definition: tss.c:93