7fcb50587e
fix: TimerReset in GIC.c now uses kTimerFrequency
8 lines
178 B
C
8 lines
178 B
C
#pragma once
|
|
#include <Types.h>
|
|
|
|
static const UInt64 kTimerFrequency = 1000; // 1ms
|
|
static const UInt8 kTimerIRQ = 30;
|
|
|
|
void TimerInitialize();
|
|
void TimerReset(UInt64 interval); |