hlt_counter++; 
cris_hlt_counter++; 
void disable_hlt(void){	hlt_counter++;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5d01e6ce785884a5db5792cd2e5bb36fa82fe23c/process.c/buggy/arch/cris/kernel/process.c