blob: bcdb1b0072046b45b1e5a99f4cc9e7ce35dad2d8 [file] [log] [blame]
Hou Zhiqiang505d7352016-06-28 20:18:13 +08001/*
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 Zhiqiang505d7352016-06-28 20:18:13 +080010int sec_firmware_init(const void *, u32 *, u32 *);
11int _sec_firmware_entry(const void *, u32 *, u32 *);
12bool sec_firmware_is_valid(const void *);
Hou Zhiqiang6be115d2017-01-16 17:31:48 +080013#ifdef CONFIG_SEC_FIRMWARE_ARMV8_PSCI
Hou Zhiqiang505d7352016-06-28 20:18:13 +080014unsigned int sec_firmware_support_psci_version(void);
15unsigned int _sec_firmware_support_psci_version(void);
16#endif
17
18#endif /* __SEC_FIRMWARE_H_ */