PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
userprog
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
6
struct
tss
;
7
void
tss_init
(
void
);
8
struct
tss
*
tss_get
(
void
);
9
void
tss_update
(
void
);
10
11
#endif
/**< userprog/tss.h */
stdint.h
tss
The Task-State Segment (TSS).
Definition:
tss.c:52
tss_update
void tss_update(void)
userprog/tss.h
Definition:
tss.c:102
tss_init
void tss_init(void)
Initializes the kernel TSS.
Definition:
tss.c:80
tss_get
struct tss * tss_get(void)
Returns the kernel TSS.
Definition:
tss.c:93
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2