| // SPDX-License-Identifier: GPL-2.0-only |
| /* |
| * Thomas Horsten <thh@lasat.com> |
| * Copyright (C) 2000 LASAT Networks A/S. |
| * |
| * Reset the LASAT board. |
| */ |
| #include <linux/kernel.h> |
| #include <linux/pm.h> |
| |
| #include <asm/reboot.h> |
| #include <asm/lasat/lasat.h> |
| |
| #include "picvue.h" |
| #include "prom.h" |
| |
| static void lasat_machine_restart(char *command); |
| static void lasat_machine_halt(void); |
| |
| /* Used to set machine to boot in service mode via /proc interface */ |
| int lasat_boot_to_service; |
| |
| static void lasat_machine_restart(char *command) |
| { |
| local_irq_disable(); |
| |
| if (lasat_boot_to_service) { |
| *(volatile unsigned int *)0xa0000024 = 0xdeadbeef; |
| *(volatile unsigned int *)0xa00000fc = 0xfedeabba; |
| } |
| *lasat_misc->reset_reg = 0xbedead; |
| for (;;) ; |
| } |
| |
| static void lasat_machine_halt(void) |
| { |
| local_irq_disable(); |
| |
| prom_monitor(); |
| for (;;) ; |
| } |
| |
| void lasat_reboot_setup(void) |
| { |
| _machine_restart = lasat_machine_restart; |
| _machine_halt = lasat_machine_halt; |
| pm_power_off = lasat_machine_halt; |
| } |