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