Decoupling Architectural-specific Code (#35)
[lunaix-os.git] / lunaix-os / kernel / time / timer.c
index 407bd9a3051d66fc44bf6bb00dd08606dc4090b7..fe8f5d3aba08de35d49359b1d15029326ec3f26e 100644 (file)
@@ -16,7 +16,7 @@
 #include <lunaix/spike.h>
 #include <lunaix/syslog.h>
 #include <lunaix/timer.h>
-#include <lunaix/pcontext.h>
+#include <lunaix/hart_state.h>
 
 #include <hal/hwtimer.h>