#include <libk/std.h>
#include <proc/reschedule.h>
#include <sys/smp.h>

static uint32_t systicks = 0;

void systick_irq(void* arg, void* regs, bool user, struct reschedule_ctx* rctx) {
  (void)arg, (void)regs, (void)user, (void)rctx;

  systicks++;

  if (systicks % 5 == 0)
    rctx_insert_cpu(rctx, thiscpu);
}