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