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)