for(;;); 
for (;;); 
machine_kexec(struct kimage *image){	clear_all_subchannels();	/* Disable lowcore protection */	ctl_clear_bit(0,28);	on_each_cpu(kexec_halt_all_cpus, image, 0, 0);	for(;;);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/72414d3f1d22fc3e311b162fca95c430048d38ce/machine_kexec.c/buggy/arch/s390/kernel/machine_kexec.c