1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
| /*
| * 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
|
|
