Index: kernel/arch/ia64/include/drivers/i8042.h
===================================================================
--- kernel/arch/ia64/include/drivers/i8042.h	(revision 56bc4a359147ae6490817d6fd0f5d88f628bebbd)
+++ kernel/arch/ia64/include/drivers/i8042.h	(revision 12a56fa32dc51d54f00a93e18292ff9da1b89bed)
@@ -37,6 +37,6 @@
  */
 
-#ifndef KERN_ia32_I8042_H_
-#define KERN_ia32_I8042_H_
+#ifndef KERN_ia64_I8042_H_
+#define KERN_ia64_I8042_H_
 
 #include <arch/asm.h>