#pragma once

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

// Set the HAL API pointer for syscalls
void KeSyscallInit(const HAL_API* hal, uint64_t (*CatchAllDebugBucket)(uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3, uint64_t a4, uint64_t a5));

// Syscall dispatcher, called from assembly entry point
uint64_t KeSyscallDispatch(uint64_t nr, uint64_t a0, uint64_t a1,
                          uint64_t a2, uint64_t a3, uint64_t a4, uint64_t a5);