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