Searched refs:do_kexec (Results 1 – 3 of 3) sorted by relevance
173 void (*do_kexec)(void) __noreturn; in kexec_reboot() local205 do_kexec = (void *)reboot_code_buffer; in kexec_reboot()206 do_kexec(); in kexec_reboot()
98 do_kexec_t do_kexec = NULL; in kexec_reboot() local124 do_kexec = (void *)reboot_code_buffer; in kexec_reboot()125 do_kexec(efi_boot, cmdline_ptr, systable_ptr, start_addr, first_ind_entry); in kexec_reboot()
10 TEST_FILES += do_kexec.sh