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