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
11void machine_halt(void)
12{
13 /* Halt the processor */
14 __asm__ __volatile__("flag 1\n");
15}
16
17void 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
24void machine_power_off(void)
25{
26 /* FIXME :: power off ??? */
27 machine_halt();
28}
29
30void (*pm_power_off) (void) = NULL;
31EXPORT_SYMBOL(pm_power_off);
32

source code of linux/arch/arc/kernel/reset.c