Fix up header guards.

[pintos-anon] / src / lib / kernel / bitmap.h

diff --git a/src/lib/kernel/bitmap.h b/src/lib/kernel/bitmap.h
index ada1354d26944ab8d1bb1a8f1b26f0526f296fcd..f70688b28662e70233cef635a2c1dcece495808b 100644 (file)
--- a/src/lib/kernel/bitmap.h
+++ b/src/lib/kernel/bitmap.h
@@ -1,5 +1,5 @@
-#ifndef HEADER_BITMAP_H
-#define HEADER_BITMAP_H 1
+#ifndef __LIB_KERNEL_BITMAP_H
+#define __LIB_KERNEL_BITMAP_H
 
 #include <stdbool.h>
 #include <stddef.h>
@@ -60,4 +60,4 @@ void bitmap_write (const struct bitmap *, struct file *);
 
 void bitmap_dump (const struct bitmap *);
 
-#endif /* bitmap.h */
+#endif /* lib/kernel/bitmap.h */