1 // SPDX-License-Identifier: GPL-2.0-only
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;