#pragma once
#include <stdint.h>

void sys_tick_handler(void);
uint64_t get_ticks(void);
void systick_setup(void);