4 files changed, 4 insertions, 4 deletions
diff --git a/src/arch/riscv/include/arch/barrier.h b/src/arch/riscv/include/arch/barrier.h
index 023e8c3acd..265aa22081 100644
--- a/src/arch/riscv/include/arch/barrier.h
+++ b/src/arch/riscv/include/arch/barrier.h
@@ -1,6 +1,6 @@
 /* SPDX-License-Identifier: BSD-3-Clause */
 
-#ifndef __ARCH_BARRIER_H_
+#ifndef __ARCH_BARRIER_H__
 #define __ARCH_BARRIER_H__
 
 static inline void mb(void)  { asm volatile("fence"); }
diff --git a/src/mainboard/intel/dcp847ske/thermal.h b/src/mainboard/intel/dcp847ske/thermal.h
index fcfe695b1c..62bfa1fa2b 100644
--- a/src/mainboard/intel/dcp847ske/thermal.h
+++ b/src/mainboard/intel/dcp847ske/thermal.h
@@ -1,7 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #ifndef DCP847SKE_THERMAL_H
-#define DPC847SKE_THERMAL_H
+#define DCP847SKE_THERMAL_H
 
 /* TODO: These should be generated at runtime from
  * MSR_TEMPERATURE_TARGET (0x1a2) */
diff --git a/src/mainboard/intel/dcp847ske/usb.h b/src/mainboard/intel/dcp847ske/usb.h
index 0787ed3da4..24693098a6 100644
--- a/src/mainboard/intel/dcp847ske/usb.h
+++ b/src/mainboard/intel/dcp847ske/usb.h
@@ -1,7 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #ifndef DCP847SKE_USB_H
-#define DPC847SKE_USB_H
+#define DCP847SKE_USB_H
 
 USB_CONFIG(1, 1, 0), /* back, towards HDMI plugs */
 USB_CONFIG(1, 1, 0), /* back, towards power plug */
diff --git a/src/soc/intel/xeon_sp/include/soc/itss.h b/src/soc/intel/xeon_sp/include/soc/itss.h
index 770a7dde5e..3be9b8bcf1 100644
--- a/src/soc/intel/xeon_sp/include/soc/itss.h
+++ b/src/soc/intel/xeon_sp/include/soc/itss.h
@@ -1,7 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #ifndef SOC_INTEL_XEON_SP_ITSS_H
-#define SOC_INTEL_XEONS_P_ITSS_H
+#define SOC_INTEL_XEON_SP_ITSS_H
 
 #define ITSS_MAX_IRQ	119
 #define IRQS_PER_IPC	32