| Hou Zhiqiang | 505d735 | 2016-06-28 20:18:13 +0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2016 NXP Semiconductor, Inc. |
| 3 | * |
| 4 | * SPDX-License-Identifier: GPL-2.0+ |
| 5 | */ |
| 6 | |
| 7 | #ifndef __SEC_FIRMWARE_H_ |
| 8 | #define __SEC_FIRMWARE_H_ |
| 9 | |
| Hou Zhiqiang | 0078786 | 2016-06-28 20:18:14 +0800 | [diff] [blame] | 10 | #ifdef CONFIG_FSL_LS_PPA |
| 11 | #include <asm/arch/ppa.h> |
| 12 | #endif |
| 13 | |
| Hou Zhiqiang | 505d735 | 2016-06-28 20:18:13 +0800 | [diff] [blame] | 14 | int sec_firmware_init(const void *, u32 *, u32 *); |
| 15 | int _sec_firmware_entry(const void *, u32 *, u32 *); |
| 16 | bool sec_firmware_is_valid(const void *); |
| Hou Zhiqiang | 6be115d | 2017-01-16 17:31:48 +0800 | [diff] [blame] | 17 | #ifdef CONFIG_SEC_FIRMWARE_ARMV8_PSCI |
| Hou Zhiqiang | 505d735 | 2016-06-28 20:18:13 +0800 | [diff] [blame] | 18 | unsigned int sec_firmware_support_psci_version(void); |
| 19 | unsigned int _sec_firmware_support_psci_version(void); |
| 20 | #endif |
| 21 | |
| 22 | #endif /* __SEC_FIRMWARE_H_ */ |