ppc_md.udbg_putc = udbg_real_scc_putc; ppc_md.udbg_getc = NULL; ppc_md.udbg_getc_poll = NULL; 
udbg_putc = udbg_real_scc_putc; udbg_getc = NULL; udbg_getc_poll = NULL; 
void udbg_init_pmac_realmode(void){	sccc = (volatile u8 __iomem *)0x80013020ul;	sccd = (volatile u8 __iomem *)0x80013030ul;	ppc_md.udbg_putc = udbg_real_scc_putc;	ppc_md.udbg_getc = NULL;	ppc_md.udbg_getc_poll = NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c8f1c8be629ee34991fdba8bfe46a5c455393209/udbg_scc.c/buggy/arch/ppc64/kernel/udbg_scc.c