2 * 'kernel.h' contains some often-used function prototypes etc
4 void verify_area(void * addr,int count);
5 volatile void panic(const char * str);
6 int printf(const char * fmt, ...);
7 int printk(const char * fmt, ...);
8 int tty_write(unsigned ch,char * buf,int count);