1 // SPDX-License-Identifier: GPL-2.0-only
3 * Thomas Horsten <thh@lasat.com>
4 * Copyright (C) 2000 LASAT Networks A/S.
6 * Reset the LASAT board.
8 #include <linux/kernel.h>
11 #include <asm/reboot.h>
12 #include <asm/lasat/lasat.h>
17 static void lasat_machine_restart(char *command
);
18 static void lasat_machine_halt(void);
20 /* Used to set machine to boot in service mode via /proc interface */
21 int lasat_boot_to_service
;
23 static void lasat_machine_restart(char *command
)
27 if (lasat_boot_to_service
) {
28 *(volatile unsigned int *)0xa0000024 = 0xdeadbeef;
29 *(volatile unsigned int *)0xa00000fc = 0xfedeabba;
31 *lasat_misc
->reset_reg
= 0xbedead;
35 static void lasat_machine_halt(void)
43 void lasat_reboot_setup(void)
45 _machine_restart
= lasat_machine_restart
;
46 _machine_halt
= lasat_machine_halt
;
47 pm_power_off
= lasat_machine_halt
;