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 7 extern char rockchip_secondary_trampoline; 8 extern char rockchip_secondary_trampoline_end; 9 10 extern unsigned long rockchip_boot_fn; 11