1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2010, Lars-Peter Clausen <lars@metafoo.de>
6 #include <asm/reboot.h>
10 static void jz4740_halt(void)
13 __asm__(".set push;\n"
21 void jz4740_reset_init(void)
23 _machine_halt = jz4740_halt;