/*  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)