diff --git a/src/include/ipxe/efi/Arm/ProcessorBind.h b/src/include/ipxe/efi/Arm/ProcessorBind.h
index 6d558a2dd..21951ea1b 100644
--- a/src/include/ipxe/efi/Arm/ProcessorBind.h
+++ b/src/include/ipxe/efi/Arm/ProcessorBind.h
@@ -1,3 +1,7 @@
+#ifndef _IPXE_EFI_ARM_PROCESSORBIND_H
+#define _IPXE_EFI_ARM_PROCESSORBIND_H
+
+
 /** @file
   Processor or Compiler specific defines and types for ARM.
 
@@ -238,3 +242,5 @@ typedef INT32 INTN;
 #endif
 
 #endif
+
+#endif /* _IPXE_EFI_ARM_PROCESSORBIND_H */