1 // SPDX-License-Identifier: GPL-2.0-only
2 /*
3 * Copyright (c) 2010-2011, The Linux Foundation. All rights reserved.
4 */
5
6 #include <linux/reboot.h>
7 #include <linux/smp.h>
8 #include <asm/hexagon_vm.h>
9
10 void machine_power_off(void)
11 {
12 smp_send_stop();
13 __vmstop();
14 }
15
16 void machine_halt(void)
17 {
18 }
19
20 void machine_restart(char *cmd)
21 {
22 }
23
24 void (*pm_power_off)(void) = NULL;
25 EXPORT_SYMBOL(pm_power_off);
26
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.