X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fmmu.h;h=4e9340abe962242b01e43b1a03e264252c04910d;hb=6916b246f3be8c72d6e77fd98c4a1447fd2c1de7;hp=c66ff1822a2af990de21e9b53d5d3b6a2b639658;hpb=859a5d60ca3a5a78d88a7bfb69f9944a41535504;p=pintos-anon

diff --git a/src/threads/mmu.h b/src/threads/mmu.h
index c66ff18..4e9340a 100644
--- a/src/threads/mmu.h
+++ b/src/threads/mmu.h
@@ -1,5 +1,5 @@
-#ifndef HEADER_MMU_H
-#define HEADER_MMU_H 1
+#ifndef THREADS_MMU_H
+#define THREADS_MMU_H
 
 #ifndef __ASSEMBLER__
 #include <debug.h>
@@ -85,4 +85,4 @@ vtop (void *vaddr)
 #define FLAG_MBS  0x00000002    /* Must be set. */
 #define FLAG_IF   0x00000200    /* Interrupt Flag. */
 
-#endif /* mmu.h */
+#endif /* threads/mmu.h */