arch/arm/lib32/start-kernel-optee.S


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

/* SPDX-License-Identifier: GPL-2.0-only */

#include <linux/linkage.h>

ENTRY(start_kernel_optee)
	/*
	 * r0 = optee
	 * r1 = kernel
	 * r2 = oftree
	 */
	mov r4, r0
	mov r0, #0
	mov lr, r1
	mov r1, #0
	bx r4
ENDPROC(start_kernel_optee)