if (pal_halt && !pmu_active) 
if (can_do_pal_halt) 
default_idle (void){	unsigned long pmu_active = ia64_getreg(_IA64_REG_PSR) & (IA64_PSR_PP | IA64_PSR_UP);	while (!need_resched())		if (pal_halt && !pmu_active)			safe_halt();		else			cpu_relax();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8df5a500a3e97f7811cdce0f553ca1917ccd4220/process.c/clean/arch/ia64/kernel/process.c