58,7 → 58,7 |
* Some simulators can print only through kernel. Userspace can use |
* this syscall to facilitate it. |
*/ |
static __native sys_io(int fd, const void * buf, size_t count) |
static unative_t sys_io(int fd, const void * buf, size_t count) |
{ |
size_t i; |
char *data; |
85,7 → 85,7 |
} |
|
/** Tell kernel to get keyboard/console access again */ |
static __native sys_debug_enable_console(void) |
static unative_t sys_debug_enable_console(void) |
{ |
arch_grab_console(); |
return 0; |
92,10 → 92,10 |
} |
|
/** Dispatch system call */ |
__native syscall_handler(__native a1, __native a2, __native a3, |
__native a4, __native id) |
unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3, |
unative_t a4, unative_t id) |
{ |
__native rc; |
unative_t rc; |
|
if (id < SYSCALL_END) |
rc = syscall_table[id](a1,a2,a3,a4); |