1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (c) 2003 ARM Limited
4 * Copyright (c) u-boot contributors
5 * Copyright (c) 2012 Pavel Machek <pavel@denx.de>
7 #include <linux/linkage.h>
8 #include <linux/init.h>
9 #include <asm/memory.h>
10 #include <asm/assembler.h>
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.
24 sub r2, r2, #PAGE_OFFSET
32 .long socfpga_cpu1start_addr
33 ENTRY(secondary_trampoline_end)