Decoupling Architectural-specific Code (#35)
[lunaix-os.git] / lunaix-os / kernel / time / timer.c
index e48c40cd5c4a42a1028ba3748260eaee03e5e4c8..fe8f5d3aba08de35d49359b1d15029326ec3f26e 100644 (file)
@@ -9,7 +9,6 @@
  * @copyright Copyright (c) 2022
  *
  */
-#include <sys/interrupts.h>
 
 #include <lunaix/mm/cake.h>
 #include <lunaix/mm/valloc.h>
@@ -17,6 +16,7 @@
 #include <lunaix/spike.h>
 #include <lunaix/syslog.h>
 #include <lunaix/timer.h>
+#include <lunaix/hart_state.h>
 
 #include <hal/hwtimer.h>