while (!need_resched()) if (can_do_pal_halt) safe_halt(); else 
while (!need_resched()) { if (can_do_pal_halt) { local_irq_disable(); if (!need_resched()) safe_halt(); local_irq_enable(); } else 
default_idle (void){	local_irq_enable();	while (!need_resched())		if (can_do_pal_halt)			safe_halt();		else			cpu_relax();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64c7c8f88559624abdbe12b5da6502e8879f8d28/process.c/buggy/arch/ia64/kernel/process.c