| 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 |