[people/ms/u-boot.git] / arch / arm / include / asm / armv8 / sec_firmware.h

/*
 * Copyright 2016 NXP Semiconductor, Inc.
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#ifndef __SEC_FIRMWARE_H_
#define __SEC_FIRMWARE_H_

#ifdef CONFIG_FSL_LS_PPA
#include <asm/arch/ppa.h>
#endif

int sec_firmware_init(const void *, u32 *, u32 *);
int _sec_firmware_entry(const void *, u32 *, u32 *);
bool sec_firmware_is_valid(const void *);
#ifdef CONFIG_ARMV8_PSCI
unsigned int sec_firmware_support_psci_version(void);
unsigned int _sec_firmware_support_psci_version(void);
#endif

#endif /* __SEC_FIRMWARE_H_ */
Commit	Line	Data
b45db3b5 HZ	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
f1dd4cad HZ	10	#ifdef CONFIG_FSL_LS_PPA
	11	#include <asm/arch/ppa.h>
	12	#endif
	13
b45db3b5 HZ	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 *);
	17	#ifdef CONFIG_ARMV8_PSCI
	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_ */