Index: kernel/arch/arm32/include/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 6ac14a70ed101ee9fa8379a5f9ef15a38f08aec5)
+++ kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 9035c5a039d04f61d696becf12fa6c74cbabe5ae)
@@ -36,6 +36,6 @@
  */
 
-#ifndef KERN_arm32_ICP_H_
-#define KERN_arm32_ICP_H_
+#ifndef KERN_arm32_MACHINE_H_
+#define KERN_arm32_MACHINE_H_
 
 #include <arch/machine_func.h>