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 11 #include <lib/utils_def.h> 12 13 /* Whether Base memory map is in use */ 14 #define ARM_CONFIG_BASE_MMAP BIT(1) 15 16 /* Whether TZC should be configured */ 17 #define ARM_CONFIG_HAS_TZC BIT(2) 18 19 /* FVP model has shifted affinity */ 20 #define ARM_CONFIG_FVP_SHIFTED_AFF BIT(3) 21 22 /* FVP model has SMMUv3 affinity */ 23 #define ARM_CONFIG_FVP_HAS_SMMUV3 BIT(4) 24 25 /* FVP model has CCI (400 or 500/550) devices */ 26 #define ARM_CONFIG_FVP_HAS_CCI400 BIT(5) 27 #define ARM_CONFIG_FVP_HAS_CCI5XX BIT(6) 28 29 typedef struct arm_config { 30 unsigned long flags; 31 } arm_config_t; 32 33 34 /* If used, arm_config must be defined and populated in the platform port */ 35 extern arm_config_t arm_config; 36 get_arm_config(void)37static inline const arm_config_t *get_arm_config(void) 38 { 39 return &arm_config; 40 } 41 42 43 #endif /* ARM_CONFIG_H */ 44