// SPDX-License-Identifier: GPL-2.0
/*
 * machine_kexec.c - handle transition of Linux booting another kernel
 */
#include <linux/compiler.h>
#include <linux/kexec.h>
#include <linux/mm.h>
#include <linux/delay.h>
#include <linux/reboot.h>

#include <asm/cacheflush.h>
#include <asm/page.h>
#include <asm/setup.h>

extern const unsigned char relocate_new_kernel[];
extern const size_t relocate_new_kernel_size;

int machine_kexec_prepare(struct kimage *kimage)
{
 return 0;
}

void machine_kexec_cleanup(struct kimage *kimage)
{
}

void machine_shutdown(void)
{
}

void machine_crash_shutdown(struct pt_regs *regs)
{
}

typedef void (*relocate_kernel_t)(unsigned long ptr,
      unsigned long start,
      unsigned long cpu_mmu_flags) __noreturn;

void machine_kexec(struct kimage *image)
{
 void *reboot_code_buffer;
 unsigned long cpu_mmu_flags;

 reboot_code_buffer = page_address(image->control_code_page);

 memcpy(reboot_code_buffer, relocate_new_kernel,
        relocate_new_kernel_size);

 /*
 * we do not want to be bothered.
 */
 local_irq_disable();

 pr_info("Will call new kernel at 0x%08lx. Bye...\n", image->start);
 __flush_cache_all();
 cpu_mmu_flags = m68k_cputype | m68k_mmutype << 8;
 ((relocate_kernel_t) reboot_code_buffer)(image->head & PAGE_MASK,
       image->start,
       cpu_mmu_flags);
}