2 * Copyright (c) 2003 ARM Limited
3 * Copyright (c) u-boot contributors
4 * Copyright (c) 2012 Pavel Machek <pavel@denx.de>
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
10 #include <linux/linkage.h>
11 #include <linux/init.h>
12 #include <asm/memory.h>
13 #include <asm/assembler.h>
18 ENTRY(secondary_trampoline)
19 /* CPU1 will always fetch from 0x0 when it is brought out of reset.
20 * Thus, we can just subtract the PAGE_OFFSET to get the physical
21 * address of &cpu1start_addr. This would not work for platforms
22 * where the physical memory does not start at 0x0.
27 sub r2, r2, #PAGE_OFFSET
35 .long socfpga_cpu1start_addr
36 ENTRY(secondary_trampoline_end)