#ifndef _LINUX_KERNEL_H
#define _LINUX_KERNEL_H

#ifndef NULL
#define NULL ((void *)0)
#endif

#define VERIFY_READ 0
#define VERIFY_WRITE 1
int verify_area(int type, void * addr, unsigned long count);
volatile void panic(const char * str);
volatile void do_exit(long error_code);
int printk(const char * fmt, ...);

#endif
