#include <linux/config.h>
#ifndef CONFIG_PRINTK
int printk(const char *fmt, ...) 
{
	return 0;
}
#endif/*--- #ifndef CONFIG_PRINTK ---*/