static int kimage_is_destination_range( struct kimage *image, unsigned long start, unsigned long end) 
static int kimage_is_destination_range(struct kimage *image, unsigned long start, unsigned long end) 
static int kimage_is_destination_range(	struct kimage *image, unsigned long start, unsigned long end){	unsigned long i;	for (i = 0; i < image->nr_segments; i++) {		unsigned long mstart, mend;		mstart = image->segment[i].mem;		mend   = mstart + image->segment[i].memsz;		if ((end > mstart) && (start < mend)) {			return 1;		}	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/72414d3f1d22fc3e311b162fca95c430048d38ce/kexec.c/clean/kernel/kexec.c