#pragma once
#include <stdint.h>
#include <hal_api.h>

void KeIrqInitialize(const HAL_API *hal);
void KeIrqRegister(uint8_t irq, void (*handler)(void));
void KeIrqDispatch(uint8_t irq);   // called from ke_syscall.asm