diff --git a/src/userprog/tss.h b/src/userprog/tss.h new file mode 100644 index 0000000000000000000000000000000000000000..467bd19e51ffc4f1bce00ea88496302c9ae9d6f2 --- /dev/null +++ b/src/userprog/tss.h @@ -0,0 +1,11 @@ +#ifndef USERPROG_TSS_H +#define USERPROG_TSS_H + +#include <stdint.h> + +struct tss; +void tss_init (void); +struct tss *tss_get (void); +void tss_update (void); + +#endif /* userprog/tss.h */