Searched refs:do_kexec (Results 1 – 2 of 2) sorted by relevance
172 void (*do_kexec)(void) __noreturn; in kexec_reboot() local204 do_kexec = (void *)reboot_code_buffer; in kexec_reboot()205 do_kexec(); in kexec_reboot()
107 do_kexec_t do_kexec = NULL; in kexec_reboot() local133 do_kexec = (void *)reboot_code_buffer; in kexec_reboot()134 do_kexec(efi_boot, cmdline_ptr, systable_ptr, start_addr, first_ind_entry); in kexec_reboot()
