1 /*
2  * Copyright (c) 2015-2017, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 #ifndef TBB_EXT_H_
7 #define TBB_EXT_H_
8 
9 #include "ext.h"
10 
11 /* TBBR extensions */
12 enum {
13 	TRUSTED_FW_NVCOUNTER_EXT,
14 	NON_TRUSTED_FW_NVCOUNTER_EXT,
15 	TRUSTED_BOOT_FW_HASH_EXT,
16 	TRUSTED_WORLD_PK_EXT,
17 	NON_TRUSTED_WORLD_PK_EXT,
18 	SCP_FW_CONTENT_CERT_PK_EXT,
19 	SCP_FW_HASH_EXT,
20 	SOC_FW_CONTENT_CERT_PK_EXT,
21 	SOC_AP_FW_HASH_EXT,
22 	TRUSTED_OS_FW_CONTENT_CERT_PK_EXT,
23 	TRUSTED_OS_FW_HASH_EXT,
24 	TRUSTED_OS_FW_EXTRA1_HASH_EXT,
25 	TRUSTED_OS_FW_EXTRA2_HASH_EXT,
26 	NON_TRUSTED_FW_CONTENT_CERT_PK_EXT,
27 	NON_TRUSTED_WORLD_BOOTLOADER_HASH_EXT,
28 	SCP_FWU_CFG_HASH_EXT,
29 	AP_FWU_CFG_HASH_EXT,
30 	FWU_HASH_EXT
31 };
32 
33 #endif /* TBB_EXT_H_ */
34