#ifndef JOVE_USER_SYSCALL_H
#define JOVE_USER_SYSCALL_H 1

#include "sys/syscall.h"

typedef int (*syscall_handler_t)(syscall_t*);

int _syscall_handler_log(struct syscall_log *req);
intmax_t _syscall_handler_tid(syscall_t *req);

#endif