 build_flat_dt(&iseries_dt); 
void __init iSeries_early_setup(void){	iSeries_fixup_klimit();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c0a59491daca7db11d49edad1a1cefaaa7120a9e/iSeries_setup.c/clean/arch/ppc64/kernel/iSeries_setup.c