karina
16 lines
338 B
C
16 lines
338 B
C
// 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(); |