1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * reset.c: reset support for PNX833X.
5 * Copyright 2008 NXP Semiconductors
6 * Chris Steel <chris.steel@nxp.com>
7 * Daniel Laird <daniel.j.laird@nxp.com>
9 * Based on software written by:
10 * Nikita Youshchenko <yoush@debian.org>, based on PNX8550 code.
12 #include <linux/reboot.h>
15 void pnx833x_machine_restart(char *command
)
17 PNX833X_RESET_CONTROL_2
= 0;
18 PNX833X_RESET_CONTROL
= 0;
21 void pnx833x_machine_halt(void)
24 __asm__
__volatile__ ("wait");
28 void pnx833x_machine_power_off(void)
30 pnx833x_machine_halt();