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 13 __INIT 14 15#define CPU1_START_ADDR 0xffd08010 16 17ENTRY(secondary_trampoline) 18 movw r0, #:lower16:CPU1_START_ADDR 19 movt r0, #:upper16:CPU1_START_ADDR 20 21 ldr r1, [r0] 22 bx r1 23 24ENTRY(secondary_trampoline_end) 25