csky/kernel/power.c

0001 // SPDX-License-Identifier: GPL-2.0
0002 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
0003
0004 #include <linux/reboot.h>
0005
0006 void (*pm_power_off)(void);
0007 EXPORT_SYMBOL(pm_power_off);
0008
0009 void machine_power_off(void)
0010 {
0011     local_irq_disable();
0012     do_kernel_power_off();
0013     asm volatile ("bkpt");
0014 }
0015
0016 void machine_halt(void)
0017 {
0018     local_irq_disable();
0019     do_kernel_power_off();
0020     asm volatile ("bkpt");
0021 }
0022
0023 void machine_restart(char *cmd)
0024 {
0025     local_irq_disable();
0026     do_kernel_restart(cmd);
0027     asm volatile ("bkpt");
0028 }