/* * Copyright (C) 2000 Jeff Dike (jdike@karaya.com) * Licensed under the GPL */ #ifndef __KERN_H__ #define __KERN_H__ /* These are all user-mode things which are convenient to call directly * from kernel code and for which writing a wrapper is too much of a pain. * The regular include files can't be included because this file is included * only into kernel code, and user-space includes conflict with kernel * includes. */ extern int printf(const char *fmt, ...); extern void *sbrk(int increment); extern int pause(void); extern void exit(int); #endif