1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * Copyright (C) 2011-2012 Synopsys, Inc. (www.synopsys.com) 4 */ 5 6 #include <linux/kernel.h> 7 #include <linux/printk.h> 8 #include <linux/reboot.h> 9 #include <linux/pm.h> 10 11 void machine_halt(void) 12 { 13 /* Halt the processor */ 14 __asm__ __volatile__("flag 1\n"); 15 } 16 17 void machine_restart(char *__unused) 18 { 19 /* Soft reset : jump to reset vector */ 20 pr_info("Put your restart handler here\n"); 21 machine_halt(); 22 } 23 24 void machine_power_off(void) 25 { 26 /* FIXME :: power off ??? */ 27 machine_halt(); 28 } 29 30 void (*pm_power_off) (void) = NULL; 31 EXPORT_SYMBOL(pm_power_off); 32