kern.h (582B)
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