Move user exception support into userprog.

[pintos-anon] / src / threads / tss.h

diff --git a/src/threads/tss.h b/src/threads/tss.h
deleted file mode 100644 (file)
index a5476c7..0000000
--- a/src/threads/tss.h
+++ /dev/null
@@ -1,11 +0,0 @@
-#ifndef HEADER_TSS_H
-#define HEADER_TSS_H
-
-#include <stdint.h>
-
-struct tss;
-void tss_init (void);
-struct tss *tss_get (void);
-void tss_set_esp0 (uint8_t *);
-
-#endif /* tss.h */