Index: kernel/arch/mips32/include/debug.h
===================================================================
--- kernel/arch/mips32/include/debug.h	(revision b8230b99f42baed609487cfaa5737fbb11968cc0)
+++ kernel/arch/mips32/include/debug.h	(revision 358dc1347a4e02901e65024ae462b98ca9d14566)
@@ -34,5 +34,5 @@
 
 #ifndef KERN_mips32_DEBUG_H_
-#define KERN_mips23_DEBUG_H_
+#define KERN_mips32_DEBUG_H_
 
 /** Enter the simulator trace mode */