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 566d798dfacec36587df252b8b9c6dc824d72fa6)
@@ -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>