kexec_do_reboot_trampoline
kexec_do_reboot_trampoline(VM_PAGE_TO_PHYS(image->first_md_page),
trunc_page((vm_offset_t)kexec_do_reboot_trampoline),
extern void kexec_do_reboot_trampoline(unsigned long, void (*)(void));