} 
int machine_kexec_prepare(struct kimage *image){	unsigned long start_pgtable, control_code_buffer;	int result;	/* Calculate the offsets */	start_pgtable       = page_to_pfn(image->control_code_page) << PAGE_SHIFT;	control_code_buffer = start_pgtable + 4096UL;	/* Setup the identity mapped 64bit page table */	result = init_pgtable(image, start_pgtable);	if (result) {		return result;	}	/* Place the code in the reboot code buffer */	memcpy(__va(control_code_buffer), relocate_new_kernel, relocate_new_kernel_size);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/72414d3f1d22fc3e311b162fca95c430048d38ce/machine_kexec.c/clean/arch/x86_64/kernel/machine_kexec.c