1 /* 2 * Copyright (c) 2014-2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 #ifndef __ARM_CONFIG_H__ 7 #define __ARM_CONFIG_H__ 8 9 #include <stdint.h> 10 #include <utils_def.h> 11 12 /* Whether Base memory map is in use */ 13 #define ARM_CONFIG_BASE_MMAP BIT(1) 14 15 /* Whether TZC should be configured */ 16 #define ARM_CONFIG_HAS_TZC BIT(2) 17 18 /* FVP model has shifted affinity */ 19 #define ARM_CONFIG_FVP_SHIFTED_AFF BIT(3) 20 21 /* FVP model has SMMUv3 affinity */ 22 #define ARM_CONFIG_FVP_HAS_SMMUV3 BIT(4) 23 24 /* FVP model has CCI (400 or 500/550) devices */ 25 #define ARM_CONFIG_FVP_HAS_CCI400 BIT(5) 26 #define ARM_CONFIG_FVP_HAS_CCI5XX BIT(6) 27 28 typedef struct arm_config { 29 unsigned long flags; 30 } arm_config_t; 31 32 33 /* If used, arm_config must be defined and populated in the platform port */ 34 extern arm_config_t arm_config; 35 36 static inline const arm_config_t *get_arm_config(void) 37 { 38 return &arm_config; 39 } 40 41 42 #endif /* __ARM_CONFIG_H__ */ 43