CS318 - Pintos
Pintos source browser for JHU CS318 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 
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 */
tss
The Task-State Segment (TSS).
Definition: tss.c:51
tss_get
struct tss * tss_get(void)
Returns the kernel TSS.
Definition: tss.c:93
tss_init
void tss_init(void)
Initializes the kernel TSS.
Definition: tss.c:80
stdint.h
tss_update
void tss_update(void)
userprog/tss.h
Definition: tss.c:102
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by   doxygen 1.8.16