1 /* SPDX-License-Identifier: GPL-2.0 */ 1 2 /* 3 * Copyright (C) 2000 Jeff Dike (jdike@karaya. 4 */ 5 6 #ifndef __KERN_H__ 7 #define __KERN_H__ 8 9 /* These are all user-mode things which are co 10 * from kernel code and for which writing a wr 11 * The regular include files can't be included 12 * only into kernel code, and user-space inclu 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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.