diff --git a/tools/hardware/outputs/c_header.py b/tools/hardware/outputs/c_header.py
index 02825b262..4ac3015a6 100644
--- a/tools/hardware/outputs/c_header.py
+++ b/tools/hardware/outputs/c_header.py
@@ -23,8 +23,8 @@ HEADER_TEMPLATE = '''/*
  * This file is autogenerated by kernel/tools/hardware_gen.py.
  */
 
-#ifndef __PLAT_DEVICES_GEN_H
-#define __PLAT_DEVICES_GEN_H
+#pragma once
+
 #include <linker.h>
 
 #ifndef KDEV_BASE
@@ -105,7 +105,6 @@ static const p_region_t BOOT_RODATA avail_p_regs[] = {
 
 #endif /* !__ASSEMBLER__ */
 
-#endif /* __PLAT_DEVICES_GEN_H */
 '''