/* * 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);