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

static const UInt64 kTimerFrequency = 1000; // 1ms
static const UInt8 kTimerIRQ = 27;

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