* @copyright Copyright (c) 2022
*
*/
-#include <sys/interrupts.h>
#include <lunaix/mm/cake.h>
#include <lunaix/mm/valloc.h>
#include <lunaix/spike.h>
#include <lunaix/syslog.h>
#include <lunaix/timer.h>
+#include <lunaix/hart_state.h>
#include <hal/hwtimer.h>
timer_ctx->base_frequency = hwtimer_base_frequency();
- sched_ticks = SYS_TIMER_FREQUENCY_HZ / 1000 * SCHED_TIME_SLICE;
+ sched_ticks = (SYS_TIMER_FREQUENCY_HZ * SCHED_TIME_SLICE) / 1000;
sched_ticks_counter = 0;
}
if (sched_ticks_counter >= sched_ticks) {
sched_ticks_counter = 0;
+ thread_stats_update_entering(false);
schedule();
}
}