ppc_md.udbg_putc = udbg_putcLP; ppc_md.udbg_getc = udbg_getcLP; ppc_md.udbg_getc_poll = udbg_getc_pollLP; 
udbg_putc = udbg_putcLP; udbg_getc = udbg_getcLP; udbg_getc_poll = udbg_getc_pollLP; 
void udbg_init_debug_lpar(void){	vtermno = 0;	ppc_md.udbg_putc = udbg_putcLP;	ppc_md.udbg_getc = udbg_getcLP;	ppc_md.udbg_getc_poll = udbg_getc_pollLP;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c8f1c8be629ee34991fdba8bfe46a5c455393209/pSeries_lpar.c/buggy/arch/ppc64/kernel/pSeries_lpar.c