2 * Copyright 2016 NXP Semiconductor, Inc.
4 * SPDX-License-Identifier: GPL-2.0+
8 #include <linux/linkage.h>
9 #include <asm/system.h>
10 #include <asm/macro.h>
12 WEAK(_sec_firmware_entry)
14 * x0: Secure Firmware entry point
15 * x1: Exception return address Low
16 * x2: Exception return address High
19 /* Save stack pointer for EL2 */
23 /* Set exception return address hold pointer */
26 #ifdef SEC_FIRMWARE_ERET_ADDR_REVERT
31 #ifdef SEC_FIRMWARE_ERET_ADDR_REVERT
36 /* Call SEC monitor */
42 ENDPROC(_sec_firmware_entry)
44 #ifdef CONFIG_ARMV8_PSCI
45 ENTRY(_sec_firmware_support_psci_version)
52 ENDPROC(_sec_firmware_support_psci_version)
55 * Switch from AArch64 EL2 to AArch32 EL2
60 * x3: kernel entry point
61 * @param outputs for secure firmware:
63 * x1: kernel entry point
67 ENTRY(armv8_el2_to_aarch32)
75 ENDPROC(armv8_el2_to_aarch32)