#ifndef

Author: PythonPlumber

include/sys_config.h

@@ -1,3 +1,6 @@
+#ifndef SYS_CONFIG_H
+#define SYS_CONFIG_H
+
 #include "types.h"
 
 typedef struct {
@@ -6,3 +9,6 @@ typedef struct {
 
 void sys_config_init(void);
 sys_config_state_t sys_config_state(void);
+
+#endif
+

include/sys_view.h

@@ -1,3 +1,6 @@
+#ifndef SYS_VIEW_H
+#define SYS_VIEW_H
+
 #include "types.h"
 
 typedef struct {
@@ -6,3 +9,6 @@ typedef struct {
 
 void sys_view_init(void);
 sys_view_state_t sys_view_state(void);
+
+#endif
+

include/syscall.h

@@ -1,3 +1,6 @@
+#ifndef SYSCALL_H
+#define SYSCALL_H
+
 #include "idt.h"
 
 enum {
@@ -42,3 +45,6 @@ enum {
 #define OS_ERR 0xFFFFFFFFu
 
 void syscall_init(void);
+
+#endif
+

include/task.h

@@ -1,3 +1,6 @@
+#ifndef TASK_H
+#define TASK_H
+
 #include "types.h"
 #include "idt.h"
 
@@ -17,3 +20,6 @@ registers_t* scheduler(registers_t* regs);
 int task_create(void (*entry)(void));
 void switch_to(task_t* next);
 extern task_t* current_task_ptr;
+
+#endif
+

include/timer.h

@@ -1,4 +1,10 @@
+#ifndef TIMER_H
+#define TIMER_H
+
 #include "types.h"
 
 void pit_init(uint32_t frequency);
 uint64_t timer_get_ticks(void);
+
+#endif
+

include/trace_forge.h

@@ -1,3 +1,6 @@
+#ifndef TRACE_FORGE_H
+#define TRACE_FORGE_H
+
 #include "types.h"
 
 typedef struct {
@@ -15,3 +18,6 @@ void trace_forge_init(void);
 void trace_forge_emit(uint32_t tag, uint32_t value);
 trace_forge_state_t trace_forge_state(void);
 uint32_t trace_forge_get(uint32_t index, trace_event_t* out);
+
+#endif
+

include/tty_core.h

@@ -1,3 +1,6 @@
+#ifndef TTY_CORE_H
+#define TTY_CORE_H
+
 #include "types.h"
 
 typedef struct {
@@ -7,3 +10,6 @@ typedef struct {
 
 void tty_core_init(void);
 tty_state_t* tty_core_state(void);
+
+#endif
+

include/types.h

@@ -1,3 +1,6 @@
+#ifndef TYPES_H
+#define TYPES_H
+
 typedef unsigned char uint8_t;
 typedef unsigned short uint16_t;
 typedef unsigned int uint32_t;
@@ -8,3 +11,6 @@ typedef signed int int32_t;
 typedef signed long long int64_t;
 
 typedef volatile uint32_t spinlock_t;
+
+#endif
+

include/usb_nexus.h

@@ -1,4 +1,10 @@
+#ifndef USB_NEXUS_H
+#define USB_NEXUS_H
+
 #include "types.h"
 
 void usb_nexus_init(void);
 uint32_t usb_nexus_ports(void);
+
+#endif
+

include/usermode.h

@@ -1,3 +1,9 @@
+#ifndef USERMODE_H
+#define USERMODE_H
+
 #include "types.h"
 
 void switch_to_user_mode(uint32_t entry_point, uint32_t user_stack);
+
+#endif
+