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