1/* SPDX-License-Identifier: GPL-2.0 */ 2/* 3 * Copyright (C) 2020 MediaTek Inc. 4 * Author: Sam Shih <sam.shih@mediatek.com> 5 */ 6 7/* 8 * Switch from AArch64 EL2 to AArch32 EL2 9 * @param inputs: 10 * x0: argument, zero 11 * x1: machine nr 12 * x2: fdt address 13 * x3: input argument 14 * x4: kernel entry point 15 * @param outputs for secure firmware: 16 * x0: function id 17 * x1: kernel entry point 18 * x2: machine nr 19 * x3: fdt address 20*/ 21 22.global armv8_el2_to_aarch32 23armv8_el2_to_aarch32: 24 mov x3, x2 25 mov x2, x1 26 mov x1, x4 27 mov x4, #0 28 ldr x0, =0x82000200 29 SMC #0 30 ret 31