include/shared/kern.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 /*
0003  * Copyright (C) 2000 Jeff Dike (jdike@karaya.com)
0004  */
0005
0006 #ifndef __KERN_H__
0007 #define __KERN_H__
0008
0009 /* These are all user-mode things which are convenient to call directly
0010  * from kernel code and for which writing a wrapper is too much of a pain.
0011  * The regular include files can't be included because this file is included
0012  * only into kernel code, and user-space includes conflict with kernel
0013  * includes.
0014  */
0015
0016 extern int printf(const char *fmt, ...);
0017 extern void *sbrk(int increment);
0018 extern int pause(void);
0019 extern void exit(int);
0020
0021 #endif
0022