1/*
2 * Copyright 2013 Broadcom Corporation.
3 *
4 * SPDX-License-Identifier:	GPL-2.0+
5 */
6
7.globl reset_cpu
8reset_cpu:
9	ldr	r1, =0x35001f00
10	ldr	r2, [r1]
11	ldr	r4, =0x80000000
12	and	r4, r2, r4
13	ldr	r3, =0xA5A500
14	orr	r4, r4, r3
15	orr	r4, r4, #0x1
16
17	str	r4, [r1]
18
19	ldr	r1, =0x35001f04
20	ldr	r2, [r1]
21	ldr	r4, =0x80000000
22	and	r4, r2, r4
23	str	r4, [r1]
24
25_loop_forever:
26	b	_loop_forever
27