// SPDX-License-Identifier: GPL-3.0-or-later
// Copyright (c) 2026 0xKSor

#pragma once 
#include <Types.h>
#include <Arch/Exceptions.h>

enum {
    kTimerFrequency = 1000, // 1ms
    kTimerIRQ = 27,
};

void TimerInitialize();
void TimerReset(UInt64 interval);   
Address TimerHandler(ExceptionsContext* frame);
UInt64 TimerGetCounter();