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 | 505d735 | 2016-06-28 20:18:13 +0800 | [diff] [blame] | 10 | int sec_firmware_init(const void *, u32 *, u32 *); |
| 11 | int _sec_firmware_entry(const void *, u32 *, u32 *); |
| 12 | bool sec_firmware_is_valid(const void *); |
Hou Zhiqiang | 6be115d | 2017-01-16 17:31:48 +0800 | [diff] [blame] | 13 | #ifdef CONFIG_SEC_FIRMWARE_ARMV8_PSCI |
Hou Zhiqiang | 505d735 | 2016-06-28 20:18:13 +0800 | [diff] [blame] | 14 | unsigned int sec_firmware_support_psci_version(void); |
| 15 | unsigned int _sec_firmware_support_psci_version(void); |
| 16 | #endif |
| 17 | |
| 18 | #endif /* __SEC_FIRMWARE_H_ */ |