__get_tb() > start_snooze) { 
get_tb() > start_snooze) { 
static void pseries_dedicated_idle(void){ 	struct paca_struct *lpaca = get_paca();	unsigned int cpu = smp_processor_id();	unsigned long start_snooze;	unsigned long *smt_snooze_delay = &__get_cpu_var(smt_snooze_delay);	set_thread_flag(TIF_POLLING_NRFLAG);	while (1) {		/*		 * Indicate to the HV that we are idle. Now would be		 * a good time to find other work to dispatch.		 */		lpaca->lppaca.idle = 1;		if (!need_resched()) {			start_snooze = __get_tb() +				*smt_snooze_delay * tb_ticks_per_usec;			while (!need_resched() && !cpu_is_offline(cpu)) {				ppc64_runlatch_off();				/*				 * Go into low thread priority and possibly				 * low power mode.				 */				HMT_low();				HMT_very_low();				if (*smt_snooze_delay != 0 &&				    __get_tb() > start_snooze) {					HMT_medium();					dedicated_idle_sleep(cpu);				}			}			HMT_medium();		}		lpaca->lppaca.idle = 0;		ppc64_runlatch_on();		preempt_enable_no_resched();		schedule();		preempt_disable();		if (cpu_is_offline(cpu) && system_state == SYSTEM_RUNNING)			cpu_die();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6146eed1e972a7de93ce2e36adc5812de81e879c/setup.c/buggy/arch/powerpc/platforms/pseries/setup.c