1/*
2 * This file is subject to the terms and conditions of the GNU General Public
3 * License.  See the file "COPYING" in the main directory of this archive
4 * for more details.
5 *
6 * Copyright (C) 2001 Keith M Wesolowski
7 * Copyright (C) 2001 Paul Mundt
8 */
9#include <linux/init.h>
10
11#include <asm/reboot.h>
12#include <asm/sgialib.h>
13
14static void ip32_machine_restart(char *cmd)
15{
16	ArcReboot();
17}
18
19static inline void ip32_machine_halt(void)
20{
21	ArcEnterInteractiveMode();
22}
23
24static void ip32_machine_power_off(void)
25{
26	ip32_machine_halt();
27}
28
29void __init ip32_reboot_setup(void)
30{
31	_machine_restart = ip32_machine_restart;
32	_machine_halt = ip32_machine_halt;
33	_machine_power_off = ip32_machine_power_off;
34}
35