| /* |
| * Copyright (C) 2000 Jeff Dike (jdike@karaya.com) |
| * Licensed under the GPL |
| */ |
| |
| #ifndef __KERN_H__ |
| #define __KERN_H__ |
| |
| /* These are all user-mode things which are convenient to call directly |
| * from kernel code and for which writing a wrapper is too much of a pain. |
| * The regular include files can't be included because this file is included |
| * only into kernel code, and user-space includes conflict with kernel |
| * includes. |
| */ |
| |
| extern int printf(const char *fmt, ...); |
| extern void *sbrk(int increment); |
| extern int pause(void); |
| extern void exit(int); |
| |
| #endif |
| |
