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 |