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