#pragma once 
#include <Types.h>

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

void TimerInitialize();
void TimerReset(UInt64 interval);