1 /* 2 * Copyright (c) 2015-2020, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef TBBR_IMG_DEF_H 8 #define TBBR_IMG_DEF_H 9 10 #include <export/common/tbbr/tbbr_img_def_exp.h> 11 12 #if defined(SPD_spmd) 13 #define SIP_SP_CONTENT_CERT_ID MAX_IMAGE_IDS 14 #define PLAT_SP_CONTENT_CERT_ID (MAX_IMAGE_IDS + 1) 15 #define SP_PKG1_ID (MAX_IMAGE_IDS + 2) 16 #define SP_PKG2_ID (MAX_IMAGE_IDS + 3) 17 #define SP_PKG3_ID (MAX_IMAGE_IDS + 4) 18 #define SP_PKG4_ID (MAX_IMAGE_IDS + 5) 19 #define SP_PKG5_ID (MAX_IMAGE_IDS + 6) 20 #define SP_PKG6_ID (MAX_IMAGE_IDS + 7) 21 #define SP_PKG7_ID (MAX_IMAGE_IDS + 8) 22 #define SP_PKG8_ID (MAX_IMAGE_IDS + 9) 23 #define MAX_SP_IDS U(8) 24 #define MAX_IMG_IDS_WITH_SPMDS (MAX_IMAGE_IDS + MAX_SP_IDS + U(2)) 25 #else 26 #define MAX_IMG_IDS_WITH_SPMDS MAX_IMAGE_IDS 27 #endif 28 29 #ifdef PLAT_TBBR_IMG_DEF 30 #include <plat_tbbr_img_def.h> 31 #endif 32 33 #ifndef MAX_NUMBER_IDS 34 #define MAX_NUMBER_IDS MAX_IMG_IDS_WITH_SPMDS 35 #endif 36 37 #endif /* TBBR_IMG_DEF_H */ 38