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#include <linux/linkage.h>
7#include <linux/init.h>
8
9ENTRY(rockchip_secondary_trampoline)
10	ldr	pc, 1f
11ENDPROC(rockchip_secondary_trampoline)
12	.globl	rockchip_boot_fn
13rockchip_boot_fn:
141:	.space	4
15
16ENTRY(rockchip_secondary_trampoline_end)
17