tcl/stm32u5x: fix clock config used at 'reset init'
[fw/openocd] / src / rtos / linux_header.h
index faaf319b1ca56f74e207345abf6f0981b48536ae..a2b408efd0d1c3c0d276a043f5fe0903e15ee700 100644 (file)
@@ -1,3 +1,6 @@
+#ifndef OPENOCD_RTOS_LINUX_HEADER_H
+#define OPENOCD_RTOS_LINUX_HEADER_H
+
 /*  gdb script to update the header file
   according to kernel version and build option
   before executing function awareness
@@ -30,3 +33,5 @@ define awareness
 #define CPU_CONT 0x1c
 #define PREEMPT 0x4
 #define MM_CTX 0x160
+
+#endif /* OPENOCD_RTOS_LINUX_HEADER_H */