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

typedef uint64_t syscall_delegate_parameters[6];
typedef int64_t (syscall_delegate)(syscall_delegate_parameters params);

int64_t fake_syscall_start(struct kjarna_boot_image *image);