#ifndef _KERNEL_SYSCALL
#define _KERNEL_SYSCALL

int __syscall_uname(void *);

#endif