ppc_md.progress(UTS_RELEASE, 0); 
ppc_md.progress(system_utsname.version, 0); 
static int __init pSeries_init_panel(void){	/* Manually leave the kernel version on the panel. */	ppc_md.progress("Linux ppc64\n", 0);	ppc_md.progress(UTS_RELEASE, 0);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/cebb2b156319990fc2fba615bbfeac81be62a86a/pSeries_setup.c/clean/arch/ppc64/kernel/pSeries_setup.c