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 <linux/linkage.h>
12
13	.align	5
14ENTRY(reset_cpu)
15	ldr	r1, rstctl			@ get addr for global reset
16						@ reg
17	ldr	r3, [r1]
18	orr	r3, r3, #0x10
19	str	r3, [r1]			@ force reset
20	mov	r0, r0
21_loop_forever:
22	b	_loop_forever
23rstctl:
24	.word	PRM_RSTCTRL
25ENDPROC(reset_cpu)
26