#pragma once

#include <common.h>

void init_timer(uint32_t frequency);

uint32_t get_tick();