1// SPDX-License-Identifier: GPL-2.0
 2// Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
 3
 4#include <linux/reboot.h>
 5
 6void (*pm_power_off)(void);
 7EXPORT_SYMBOL(pm_power_off);
 8
 9void machine_power_off(void)
10{
11	local_irq_disable();
12	do_kernel_power_off();
13	asm volatile ("bkpt");
14}
15
16void machine_halt(void)
17{
18	local_irq_disable();
19	do_kernel_power_off();
20	asm volatile ("bkpt");
21}
22
23void machine_restart(char *cmd)
24{
25	local_irq_disable();
26	do_kernel_restart(cmd);
27	asm volatile ("bkpt");
28}