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