pal_halt = 0; 
pal_halt = can_do_pal_halt = 0; 
static int __init nohalt_setup(char * str){	pal_halt = 0;	return 1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/fb573856b2d82926b36ed059899d883474a3b9eb/process.c/buggy/arch/ia64/kernel/process.c