1/*
2 * SoC-specific setup info
3 *
4 * (C) Copyright 2010,2011
5 * NVIDIA Corporation <www.nvidia.com>
6 *
7 * SPDX-License-Identifier:	GPL-2.0+
8 */
9
10#include <config.h>
11#include <version.h>
12#include <linux/linkage.h>
13
14	.align	5
15ENTRY(reset_cpu)
16	ldr	r1, rstctl			@ get addr for global reset
17						@ reg
18	ldr	r3, [r1]
19	orr	r3, r3, #0x10
20	str	r3, [r1]			@ force reset
21	mov	r0, r0
22_loop_forever:
23	b	_loop_forever
24rstctl:
25	.word	PRM_RSTCTRL
26ENDPROC(reset_cpu)
27