early_console_initialized = 0; 
void __init disable_early_printk(void){	unregister_console(&udbg_console);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/38c0ff06d5ba05b6fbf18652c49747ad320aaeb0/udbg.c/clean/arch/ppc64/kernel/udbg.c