#pragma once

#include <stdint.h>

void syscall_init();

uint64_t syscall_dispatch(uint64_t func, uint64_t arg1, uint64_t arg2, uint64_t arg3, uint64_t arg4);