#pragma once

#include <stdint.h>

typedef void (*systick_cb_t)(void);

void set_systick(uint64_t systick_value);

uint64_t get_systick();

int systick_interrupt();


#define PASTER(x, y) x##y
#define CONCAT(x, y) PASTER(x, y)

#define On_SysTick()                                                   \
  static void __local_on_systick__(void);                              \
  __attribute__((                                                      \
      __section__(".systick_callbacks"))) static volatile systick_cb_t \
      __systick__position = __local_on_systick__;                       \
  static void __local_on_systick__()

#undef PASTER
#undef CONCAT