#pragma once

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

// Set the HAL API pointer for syscalls
void KeSyscallSetHal(const HAL_API* hal);

// 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);