Searched refs:relocate_kernel_t (Results 1 – 6 of 6) sorted by relevance
34 typedef void (*relocate_kernel_t)(unsigned long ptr,56 ((relocate_kernel_t) reboot_code_buffer)(image->head & PAGE_MASK, in machine_kexec()
31 typedef void (*relocate_kernel_t)(kimage_entry_t *, unsigned long); typedef246 relocate_kernel_t data_mover; in __do_machine_kexec()250 data_mover = (relocate_kernel_t) page_to_phys(image->control_code_page); in __do_machine_kexec()