/* * Copyright (C) 2011-2012 Synopsys, Inc. (www.synopsys.com) * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as * published by the Free Software Foundation. */ #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);