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#include <asm/assembler.h> 14 15 .arch armv7-a 16 .arm 17 18ENTRY(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. 23 */ 24ARM_BE8(setend be) 25 adr r0, 1f 26 ldmia r0, {r1, r2} 27 sub r2, r2, #PAGE_OFFSET 28 ldr r3, [r2] 29 ldr r4, [r3] 30ARM_BE8(rev r4, r4) 31 bx r4 32 33 .align 341: .long . 35 .long socfpga_cpu1start_addr 36ENTRY(secondary_trampoline_end) 37