control_code_buffer   58 arch/ia64/kernel/machine_kexec.c 	void *control_code_buffer;
control_code_buffer   63 arch/ia64/kernel/machine_kexec.c 	control_code_buffer = page_address(image->control_code_page);
control_code_buffer   64 arch/ia64/kernel/machine_kexec.c 	memcpy((void *)control_code_buffer, (const void *)func[0],
control_code_buffer   66 arch/ia64/kernel/machine_kexec.c 	flush_icache_range((unsigned long)control_code_buffer,
control_code_buffer   67 arch/ia64/kernel/machine_kexec.c 			(unsigned long)control_code_buffer + relocate_new_kernel_size);