1 /*  This file is lisenced under LGPL
2  *  Copyright (C) 2002-2003,    George Thanos <george.thanos@gdt.gr>
3  *                              Yannis Mitsos <yannis.mitsos@gdt.gr>
4  */
5 
6 #include <syscall.h>
7 
8 /* We now need a declaration of the `errno' variable.  */
9 extern int errno;
10 #   define __set_errno(val) ((errno) = (val))
11 _syscall2( int, kprintf, char *, msg, int, len)
12