static void call_console_drivers(unsigned long start, unsigned long end) {} 
static void call_console_drivers(unsigned long start, unsigned long end) { } 
static void call_console_drivers(unsigned long start, unsigned long end) {}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/40dc565122ed1e180a0637f88cdfca734d33db78/printk.c/clean/kernel/printk.c