1 files changed, 0 insertions, 11 deletions

diff --git a/pintos-progos/userprog/tss.h b/pintos-progos/userprog/tss.h
deleted file mode 100644
index 467bd19..0000000
--- a/pintos-progos/userprog/tss.h
+++ /dev/null
@@ -1,11 +0,0 @@
-#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 */