core.h (269B)
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 7extern char rockchip_secondary_trampoline; 8extern char rockchip_secondary_trampoline_end; 9 10extern unsigned long rockchip_boot_fn;