1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3 * Copyright (c) 2003 ARM Limited
4 * Copyright (c) u-boot contributors
5 * Copyright (c) 2012 Pavel Machek <pavel@denx.de>
6 */
7 #include <linux/linkage.h>
8 #include <linux/init.h>
9 #include <asm/memory.h>
10 #include <asm/assembler.h>
11
12 .arch armv7-a
13 .arm
14
15 ENTRY(secondary_trampoline)
16 /* CPU1 will always fetch from 0x0 when it is brought out of reset.
17 * Thus, we can just subtract the PAGE_OFFSET to get the physical
18 * address of &cpu1start_addr. This would not work for platforms
19 * where the physical memory does not start at 0x0.
20 */
21 ARM_BE8(setend be)
22 adr r0, 1f
23 ldmia r0, {r1, r2}
24 sub r2, r2, #PAGE_OFFSET
25 ldr r3, [r2]
26 ldr r4, [r3]
27 ARM_BE8(rev r4, r4)
28 bx r4
29
30 .align
31 1: .long .
32 .long socfpga_cpu1start_addr
33 ENTRY(secondary_trampoline_end)