static int kimage_set_destination( struct kimage *image, unsigned long destination) 
static int kimage_set_destination(struct kimage *image, unsigned long destination) 
static int kimage_set_destination(	struct kimage *image, unsigned long destination){	int result;	destination &= PAGE_MASK;	result = kimage_add_entry(image, destination | IND_DESTINATION);	if (result == 0) {		image->destination = destination;	}	return result;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/72414d3f1d22fc3e311b162fca95c430048d38ce/kexec.c/clean/kernel/kexec.c