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