if (*image->entry != 0) { 
if (*image->entry != 0) 
static int kimage_terminate(struct kimage *image){	if (*image->entry != 0) {		image->entry++;	}	*image->entry = IND_DONE;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/72414d3f1d22fc3e311b162fca95c430048d38ce/kexec.c/clean/kernel/kexec.c