Move reboot() and power_off() to new file, and rename to fit convention.
[pintos-anon] / src / userprog / tss.h
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 */