ppc_md.idle_loop = iSeries_idle; 
 if (get_paca()->lppaca.shared_proc) ppc_md.idle_loop = iseries_shared_idle; else ppc_md.idle_loop = iseries_dedicated_idle; 
void __init iSeries_early_setup(void){	iSeries_fixup_klimit();	ppc_md.setup_arch = iSeries_setup_arch;	ppc_md.get_cpuinfo = iSeries_get_cpuinfo;	ppc_md.init_IRQ = iSeries_init_IRQ;	ppc_md.get_irq = iSeries_get_irq;	ppc_md.init_early = iSeries_init_early,	ppc_md.pcibios_fixup  = iSeries_pci_final_fixup;	ppc_md.restart = iSeries_restart;	ppc_md.power_off = iSeries_power_off;	ppc_md.halt = iSeries_halt;	ppc_md.get_boot_time = iSeries_get_boot_time;	ppc_md.set_rtc_time = iSeries_set_rtc_time;	ppc_md.get_rtc_time = iSeries_get_rtc_time;	ppc_md.calibrate_decr = iSeries_calibrate_decr;	ppc_md.progress = iSeries_progress;	ppc_md.idle_loop = iSeries_idle;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3c57bb9f454e8fc7b3d815b991b0dec43c766641/iSeries_setup.c/buggy/arch/ppc64/kernel/iSeries_setup.c