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