Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 1 | /* |
Antonio Nino Diaz | 38b4ce0 | 2018-08-21 14:14:31 +0100 | [diff] [blame] | 2 | * Copyright (c) 2014-2018, ARM Limited and Contributors. All rights reserved. |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 3 | * |
dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 5 | */ |
Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 6 | #ifndef ARM_CONFIG_H |
| 7 | #define ARM_CONFIG_H |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 8 | |
Juan Castillo | 7f1f062 | 2014-09-09 09:49:23 +0100 | [diff] [blame] | 9 | #include <stdint.h> |
Antonio Nino Diaz | e0f9063 | 2018-12-14 00:18:21 +0000 | [diff] [blame] | 10 | |
| 11 | #include <lib/utils_def.h> |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 12 | |
Antonio Nino Diaz | 38b4ce0 | 2018-08-21 14:14:31 +0100 | [diff] [blame] | 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) |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 28 | |
| 29 | typedef struct arm_config { |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 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 | |
Juan Castillo | 8172d93 | 2015-08-04 14:31:27 +0100 | [diff] [blame] | 37 | static inline const arm_config_t *get_arm_config(void) |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 38 | { |
| 39 | return &arm_config; |
| 40 | } |
| 41 | |
| 42 | |
Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 43 | #endif /* ARM_CONFIG_H */ |