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
16extern int printf(const char *fmt, ...);
17extern void *sbrk(int increment);
18extern int pause(void);
19extern void exit(int);
20
21#endif
22

 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
16extern int printf(const char *fmt, ...);
17extern void *sbrk(int increment);
18extern int pause(void);
19extern void exit(int);
20
21#endif
22