1/* 2 * Copyright (c) 2003 ARM Limited 3 * Copyright (c) u-boot contributors 4 * Copyright (c) 2012 Pavel Machek <pavel@denx.de> 5 * 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. 9 */ 10#include <linux/linkage.h> 11#include <linux/init.h> 12#include <asm/memory.h> 13 14 .arch armv7-a 15 16ENTRY(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. 21 */ 22 adr r0, 1f 23 ldmia r0, {r1, r2} 24 sub r2, r2, #PAGE_OFFSET 25 ldr r3, [r2] 26 ldr r4, [r3] 27 bx r4 28 29 .align 301: .long . 31 .long socfpga_cpu1start_addr 32ENTRY(secondary_trampoline_end) 33 34ENTRY(socfpga_secondary_startup) 35 bl v7_invalidate_l1 36 b secondary_startup 37ENDPROC(socfpga_secondary_startup) 38