Searched refs:relocate_kernel_t (Results 1 – 2 of 2) sorted by relevance
33 typedef void (*relocate_kernel_t)(unsigned long ptr,55 ((relocate_kernel_t) reboot_code_buffer)(image->head & PAGE_MASK, in machine_kexec()
30 typedef void (*relocate_kernel_t)(kimage_entry_t *, unsigned long); typedef235 relocate_kernel_t data_mover; in __do_machine_kexec()238 data_mover = (relocate_kernel_t) page_to_phys(image->control_code_page); in __do_machine_kexec()