| /* SPDX-License-Identifier: GPL-2.0+ */ |
| * Copyright 2016 NXP Semiconductor, Inc. |
| #include <linux/linkage.h> |
| WEAK(_sec_firmware_entry) |
| * x0: Secure Firmware entry point |
| * x1: Exception return address Low |
| * x2: Exception return address High |
| /* Save stack pointer for EL2 */ |
| /* Set exception return address hold pointer */ |
| #ifdef CONFIG_ARMV8_SEC_FIRMWARE_ERET_ADDR_REVERT |
| #ifdef CONFIG_ARMV8_SEC_FIRMWARE_ERET_ADDR_REVERT |
| ENDPROC(_sec_firmware_entry) |
| #ifdef CONFIG_SEC_FIRMWARE_ARMV8_PSCI |
| ENTRY(_sec_firmware_support_psci_version) |
| ENDPROC(_sec_firmware_support_psci_version) |
| * Switch from AArch64 EL2 to AArch32 EL2 |
| * @param outputs for secure firmware: |
| ENTRY(armv8_el2_to_aarch32) |
| ENDPROC(armv8_el2_to_aarch32) |