path: root/include/systick.h

#pragma once

#include <stdint.h>

void set_systick(uint64_t systick_value);

uint64_t get_systick();

int systick_interrupt();