early_console_initialized = 1; 
void register_early_udbg_console(void){	register_console(&udbg_console);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/38c0ff06d5ba05b6fbf18652c49747ad320aaeb0/udbg.c/buggy/arch/ppc64/kernel/udbg.c