kern.h 569 B

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