1*c942fddfSThomas Gleixner /* SPDX-License-Identifier: GPL-2.0-or-later */ 2a7a2b311SHeiko Stuebner /* 3a7a2b311SHeiko Stuebner * Copyright (c) 2013 MundoReader S.L. 4a7a2b311SHeiko Stuebner * Author: Heiko Stuebner <heiko@sntech.de> 5a7a2b311SHeiko Stuebner */ 6a7a2b311SHeiko Stuebner 7a7a2b311SHeiko Stuebner extern char rockchip_secondary_trampoline; 8a7a2b311SHeiko Stuebner extern char rockchip_secondary_trampoline_end; 9a7a2b311SHeiko Stuebner 10a7a2b311SHeiko Stuebner extern unsigned long rockchip_boot_fn; 11