-#include <stdint.h>
-
-#define SYS_TIMER_FREQUENCY_HZ 2048
-
-#define TIMER_MODE_PERIODIC 0x1
-
-typedef uint32_t ticks_t;
-
-struct lx_timer_context {
- struct lx_timer *active_timers;
- /**
- * @brief APIC timer base frequency (ticks per seconds)
- *
- */
- ticks_t base_frequency;
- /**
- * @brief Desired system running frequency
- *
- */
- uint32_t running_frequency;
- /**
- * @brief Ticks per hertz
- *
- */
- ticks_t tphz;
-};
+#include <lunaix/time.h>
+#include <lunaix/hart_state.h>
+
+#define SYS_TIMER_FREQUENCY_HZ 1000