From 259697608f8292d1bddab56ad0bb8d9a7d7f995a Mon Sep 17 00:00:00 2001
From: "Enrico Fraccaroli (Galfurian)" <enry.frak@gmail.com>
Date: Wed, 20 Jul 2022 11:05:56 -0400
Subject: [PATCH] Move TICKS_PER_SECOND in timer.h

---
 mentos/inc/hardware/timer.h | 3 +++
 mentos/src/hardware/timer.c | 4 +---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/mentos/inc/hardware/timer.h b/mentos/inc/hardware/timer.h
index 280fc10..6651d79 100644
--- a/mentos/inc/hardware/timer.h
+++ b/mentos/inc/hardware/timer.h
@@ -29,6 +29,9 @@
 /// time consumed by the process.
 #define ITIMER_PROF 2
 
+/// Number of ticks per seconds.
+#define TICKS_PER_SECOND 1193
+
 /// @brief   Handles the timer.
 /// @param f The interrupt stack frame.
 /// @details
diff --git a/mentos/src/hardware/timer.c b/mentos/src/hardware/timer.c
index 2c5ef10..102eca5 100644
--- a/mentos/src/hardware/timer.c
+++ b/mentos/src/hardware/timer.c
@@ -26,9 +26,7 @@
 #include "system/signal.h"
 #include "assert.h"
 #include "sys/errno.h"
-
-/// Number of ticks per seconds.
-#define TICKS_PER_SECOND 1193
+#include "io/vga/vga.h"
 
 /// @defgroup picregs Programmable Interval Timer Registers
 /// @brief The list of registers used to set the PIT.