preempt_disable(); 
static void iseries_shared_idle(void){	while (1) {		while (!need_resched() && !hvlpevent_is_pending()) {			local_irq_disable();			ppc64_runlatch_off();			/* Recheck with irqs off */			if (!need_resched() && !hvlpevent_is_pending())				yield_shared_processor();			HMT_medium();			local_irq_enable();		}		ppc64_runlatch_on();		if (hvlpevent_is_pending())			process_iSeries_events();		schedule();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/setup.c/buggy/arch/powerpc/platforms/iseries/setup.c