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 01f5e17ed977fd4735bbbdc90c3ba9ad567f5093)
@@ -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>