12 #include <linux/kexec.h>
14 #include <linux/string.h>
15 #include <asm/cacheflush.h>
16 #include <asm/hw_irq.h>
20 unsigned long indirection_page,
21 unsigned long reboot_code_buffer,
35 unsigned long page_list;
36 unsigned long reboot_code_buffer, reboot_code_buffer_phys;
46 page_list = image->head;
51 reboot_code_buffer_phys =
virt_to_phys((
void *)reboot_code_buffer);
54 memcpy((
void *)reboot_code_buffer, relocate_new_kernel,
55 relocate_new_kernel_size);
63 (*rnk)(page_list, reboot_code_buffer_phys, image->start);