x86/xen: resume timer irqs early
[linux/fpc-iii.git] / arch / arc / kernel / reset.c
blobe227a2b1c9431fac35485c5d1e988b2a3ef3fd87
1 /*
2 * Copyright (C) 2011-2012 Synopsys, Inc. (www.synopsys.com)
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
7 */
9 #include <linux/kernel.h>
10 #include <linux/printk.h>
11 #include <linux/reboot.h>
12 #include <linux/pm.h>
14 void machine_halt(void)
16 /* Halt the processor */
17 __asm__ __volatile__("flag 1\n");
20 void machine_restart(char *__unused)
22 /* Soft reset : jump to reset vector */
23 pr_info("Put your restart handler here\n");
24 machine_halt();
27 void machine_power_off(void)
29 /* FIXME :: power off ??? */
30 machine_halt();
33 void (*pm_power_off) (void) = NULL;