// SPDX-License-Identifier: GPL-2.0-only
|
/*
|
* Copyright (C) 2011-2012 Synopsys, Inc. (www.synopsys.com)
|
*/
|
|
#include <linux/kernel.h>
|
#include <linux/printk.h>
|
#include <linux/reboot.h>
|
#include <linux/pm.h>
|
|
void machine_halt(void)
|
{
|
/* Halt the processor */
|
__asm__ __volatile__("flag 1\n");
|
}
|
|
void machine_restart(char *__unused)
|
{
|
/* Soft reset : jump to reset vector */
|
pr_info("Put your restart handler here\n");
|
machine_halt();
|
}
|
|
void machine_power_off(void)
|
{
|
/* FIXME :: power off ??? */
|
machine_halt();
|
}
|
|
void (*pm_power_off) (void) = NULL;
|
EXPORT_SYMBOL(pm_power_off);
|
