| 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 | |
| Yuantian Tang | aec3b14 | 2017-04-19 13:27:39 +0800 | [diff] [blame] | 10 | #define PSCI_INVALID_VER 0xffffffff |
| 11 | |
| Hou Zhiqiang | 505d735 | 2016-06-28 20:18:13 +0800 | [diff] [blame] | 12 | int sec_firmware_init(const void *, u32 *, u32 *); |
| 13 | int _sec_firmware_entry(const void *, u32 *, u32 *); |
| 14 | bool sec_firmware_is_valid(const void *); |
| Hou Zhiqiang | 6be115d | 2017-01-16 17:31:48 +0800 | [diff] [blame] | 15 | #ifdef CONFIG_SEC_FIRMWARE_ARMV8_PSCI |
| Hou Zhiqiang | 505d735 | 2016-06-28 20:18:13 +0800 | [diff] [blame] | 16 | unsigned int sec_firmware_support_psci_version(void); |
| 17 | unsigned int _sec_firmware_support_psci_version(void); |
| Yuantian Tang | aec3b14 | 2017-04-19 13:27:39 +0800 | [diff] [blame] | 18 | #else |
| 19 | static inline unsigned int sec_firmware_support_psci_version(void) |
| 20 | { |
| 21 | return PSCI_INVALID_VER; |
| 22 | } |
| Hou Zhiqiang | 505d735 | 2016-06-28 20:18:13 +0800 | [diff] [blame] | 23 | #endif |
| 24 | |
| 25 | #endif /* __SEC_FIRMWARE_H_ */ |