No functional change.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Wei Liu <wl@xen.org>
Acked-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Julien Grall <julien@xen.org>
{
}
-static void __init efi_arch_post_exit_boot(void)
+static void __init noreturn efi_arch_post_exit_boot(void)
{
efi_xen_start(fdt, fdt_totalsize(fdt));
}
[stkoff] "i" (STACK_SIZE - sizeof(struct cpu_info)),
"D" (&mbi)
: "memory" );
- for( ; ; ); /* not reached */
+ unreachable();
}
static void __init efi_arch_cfg_file_early(EFI_FILE_HANDLE dir_handle, char *section)
efi_exit_boot(ImageHandle, SystemTable);
- efi_arch_post_exit_boot();
- for( ; ; ); /* not reached */
+ efi_arch_post_exit_boot(); /* Doesn't return. */
}
#ifndef CONFIG_ARM /* TODO - runtime service support */