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 |