core.h

 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;