1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (c) 2009 Samsung Electronics.
4 * Minkyu Kang <mk7.kang@samsung.com>
5 */
6
7#include <asm/arch/cpu.h>
8#include <linux/linkage.h>
9
10#define S5PC100_SWRESET			0xE0200000
11#define S5PC110_SWRESET			0xE0102000
12
13ENTRY(reset_cpu)
14	ldr	r1, =S5PC100_PRO_ID
15	ldr	r2, [r1]
16	ldr	r4, =0x00010000
17	and	r4, r2, r4
18	cmp	r4, #0
19	bne	110f
20	/* S5PC100 */
21	ldr	r1, =S5PC100_SWRESET
22	ldr	r2, =0xC100
23	b	200f
24110:	/* S5PC110 */
25	ldr	r1, =S5PC110_SWRESET
26	mov	r2, #1
27200:
28	str	r2, [r1]
29_loop_forever:
30	b	_loop_forever
31ENDPROC(reset_cpu)
32