src/kernel/timer.h

#pragma once

#include "kint.h"

#define TIMER_FREQ 1193180

void init_timer(uint hz);