| * 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> |
| ENTRY(secondary_trampoline) |
| movw r2, #:lower16:cpu1start_addr |
| movt r2, #:upper16:cpu1start_addr |
| /* The socfpga VT cannot handle a 0xC0000000 page offset when loading |
| the cpu1start_addr, we bit clear it. Tested on HW and VT. */ |
| ENTRY(secondary_trampoline_end) |
| ENTRY(socfpga_secondary_startup) |
| ENDPROC(socfpga_secondary_startup) |
