1 // SPDX-License-Identifier: GPL-2.0-only
2 /*
3  * Copyright (C) 2012 Regents of the University of California
4  */
5 
6 #include <linux/reboot.h>
7 #include <linux/pm.h>
8 
default_power_off(void)9 static void default_power_off(void)
10 {
11 	while (1)
12 		wait_for_interrupt();
13 }
14 
15 void (*pm_power_off)(void) = NULL;
16 EXPORT_SYMBOL(pm_power_off);
17 
machine_restart(char * cmd)18 void machine_restart(char *cmd)
19 {
20 	do_kernel_restart(cmd);
21 	while (1);
22 }
23 
machine_halt(void)24 void machine_halt(void)
25 {
26 	if (pm_power_off != NULL)
27 		pm_power_off();
28 	else
29 		default_power_off();
30 }
31 
machine_power_off(void)32 void machine_power_off(void)
33 {
34 	if (pm_power_off != NULL)
35 		pm_power_off();
36 	else
37 		default_power_off();
38 }
39