1 /* 2 * 'kernel.h' contains some often-used function prototypes etc 3 */ 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);