00001 #ifndef __PRINTK_H
00002 #define __PRINTK_H
00003
00004 extern int (*printk)(const char *fmt, ...);
00005 extern int (*printkerr)(const char *fmt, ...);
00006
00007 extern void printk_set(int (*std)(const char *fmt, ...),
00008 int (*err)(const char *fmt, ...));
00009
00010 #endif
