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