1/* SPDX-License-Identifier: GPL-2.0-or-later */ 2/* 3 * Copyright (c) 2013 MundoReader S.L. 4 * Author: Heiko Stuebner <heiko@sntech.de> 5 */ 6#include <linux/linkage.h> 7#include <linux/init.h> 8 9ENTRY(rockchip_secondary_trampoline) 10 ldr pc, 1f 11ENDPROC(rockchip_secondary_trampoline) 12 .globl rockchip_boot_fn 13rockchip_boot_fn: 141: .space 4 15 16ENTRY(rockchip_secondary_trampoline_end) 17