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>
16 ENTRY(secondary_trampoline)
17 /* CPU1 will always fetch from 0x0 when it is brought out of reset.
18 * Thus, we can just subtract the PAGE_OFFSET to get the physical
19 * address of &cpu1start_addr. This would not work for platforms
20 * where the physical memory does not start at 0x0.
24 sub r2, r2, #PAGE_OFFSET
31 .long socfpga_cpu1start_addr
32 ENTRY(secondary_trampoline_end)
34 ENTRY(socfpga_secondary_startup)
37 ENDPROC(socfpga_secondary_startup)