1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Copyright (C) 2000 Jeff Dike (jdike@karaya.com)
4  */
5 
6 #ifndef __KERN_H__
7 #define __KERN_H__
8 
9 /* These are all user-mode things which are convenient to call directly
10  * from kernel code and for which writing a wrapper is too much of a pain.
11  * The regular include files can't be included because this file is included
12  * only into kernel code, and user-space includes conflict with kernel
13  * includes.
14  */
15 
16 extern int printf(const char *fmt, ...);
17 extern void *sbrk(int increment);
18 extern int pause(void);
19 extern void exit(int);
20 
21 #endif
22 
23