Update driver header file ifndef to include DRIVER_ prefix

src/drivers/include/drivers/ata.h

@@ -1,5 +1,5 @@
-#ifndef ATA_H
-#define ATA_H
+#ifndef DRIVER_ATA_H
+#define DRIVER_ATA_H
 
 #include <stdbool.h>
 #include <stddef.h>
@@ -24,4 +24,4 @@ bool   ata_status(ata_t * disk);
 size_t ata_sect_read(ata_t * disk, uint8_t * buff, size_t sect_count, uint32_t lba);
 size_t ata_sect_write(ata_t * disk, uint8_t * buff, size_t sect_count, uint32_t lba);
 
-#endif // ATA_H
+#endif // DRIVER_ATA_H

src/drivers/include/drivers/disk.h

@@ -1,5 +1,5 @@
-#ifndef DISK_H
-#define DISK_H
+#ifndef DRIVER_DISK_H
+#define DRIVER_DISK_H
 
 #include <stddef.h>
 #include <stdint.h>
@@ -20,4 +20,4 @@ size_t disk_size(disk_t * disk);
 size_t disk_read(disk_t * disk, uint8_t * buff, size_t count, size_t pos);
 size_t disk_write(disk_t * disk, uint8_t * buff, size_t count, size_t pos);
 
-#endif // DISK_H
+#endif // DRIVER_DISK_H

src/drivers/include/drivers/keyboard.h

@@ -1,5 +1,5 @@
-#ifndef KEYBOARD_H
-#define KEYBOARD_H
+#ifndef DRIVER_KEYBOARD_H
+#define DRIVER_KEYBOARD_H
 
 #include <stdbool.h>
 #include <stdint.h>
@@ -82,4 +82,4 @@ typedef enum keyboard_key {
 
 void init_keyboard();
 
-#endif // KEYBOARD_H
+#endif // DRIVER_KEYBOARD_H

src/drivers/include/drivers/ramdisk.h

@@ -1,5 +1,5 @@
-#ifndef RAMDISK_H
-#define RAMDISK_H
+#ifndef DRIVER_RAMDISK_H
+#define DRIVER_RAMDISK_H
 
 #include <stddef.h>
 #include <stdint.h>
@@ -18,4 +18,4 @@ size_t ramdisk_size(ramdisk_t * rdisk);
 size_t ramdisk_read(ramdisk_t * rdisk, uint8_t * buff, size_t count, size_t pos);
 size_t ramdisk_write(ramdisk_t * rdisk, uint8_t * buff, size_t count, size_t pos);
 
-#endif // RAMDISK_H
+#endif // DRIVER_RAMDISK_H

src/drivers/include/drivers/rtc.h

@@ -1,5 +1,5 @@
-#ifndef RTC_H
-#define RTC_H
+#ifndef DRIVER_RTC_H
+#define DRIVER_RTC_H
 
 #include <stdint.h>
 
@@ -38,4 +38,4 @@ uint32_t time_s();
 
 rtc_time_t * rtc_time();
 
-#endif // RTC_H
+#endif // DRIVER_RTC_H

src/drivers/include/drivers/tar.h

@@ -1,5 +1,5 @@
-#ifndef TAR_H
-#define TAR_H
+#ifndef DRIVER_TAR_H
+#define DRIVER_TAR_H
 
 #include <stdbool.h>
 #include <stddef.h>
@@ -79,4 +79,4 @@ int  tar_file_tell(tar_fs_file_t * file);
 
 size_t tar_file_read(tar_fs_file_t * file, char * buff, size_t count);
 
-#endif // TAR_H
+#endif // DRIVER_TAR_H

src/drivers/include/drivers/timer.h

@@ -1,5 +1,5 @@
-#ifndef TIMER_H
-#define TIMER_H
+#ifndef DRIVER_TIMER_H
+#define DRIVER_TIMER_H
 
 #include <stdint.h>
 
@@ -28,4 +28,4 @@ uint32_t get_time_s();
 uint32_t get_time_ms();
 uint32_t get_time_ns();
 
-#endif // TIMER_H
+#endif // DRIVER_TIMER_H

src/drivers/include/drivers/vga.h

@@ -1,5 +1,5 @@
-#ifndef VGA_H
-#define VGA_H
+#ifndef DRIVER_VGA_H
+#define DRIVER_VGA_H
 
 #include <stddef.h>
 #include <stdint.h>
@@ -167,4 +167,4 @@ size_t vga_putu(unsigned int num);
  */
 size_t vga_putx(unsigned int num);
 
-#endif // VGA_H
+#endif // DRIVER_VGA_H