X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Ftss.h;h=fa8d47b54efb50969e44e54c7ae2e9df6b90ff99;hb=a96d2712f349629d7fe2186e2620f1704cbdee50;hp=a5476c7dacd91f6dc799ee361ebe3ac843946e24;hpb=6c5c6fdfe80bad40c90c19b67f00226610d59a38;p=pintos-anon

diff --git a/src/userprog/tss.h b/src/userprog/tss.h
index a5476c7..fa8d47b 100644
--- a/src/userprog/tss.h
+++ b/src/userprog/tss.h
@@ -1,5 +1,5 @@
-#ifndef HEADER_TSS_H
-#define HEADER_TSS_H
+#ifndef USERPROG_TSS_H
+#define USERPROG_TSS_H
 
 #include <stdint.h>
 
@@ -8,4 +8,4 @@ void tss_init (void);
 struct tss *tss_get (void);
 void tss_set_esp0 (uint8_t *);
 
-#endif /* tss.h */
+#endif /* userprog/tss.h */