1b4315306SDan Handley /* 26355f234SVikram Kanigiri * Copyright (c) 2014-2016, ARM Limited and Contributors. All rights reserved. 3b4315306SDan Handley * 4*82cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 5b4315306SDan Handley */ 6b4315306SDan Handley #ifndef __ARM_CONFIG_H__ 7b4315306SDan Handley #define __ARM_CONFIG_H__ 8b4315306SDan Handley 902462972SJuan Castillo #include <stdint.h> 10b4315306SDan Handley 11b4315306SDan Handley enum arm_config_flags { 12b4315306SDan Handley /* Whether Base memory map is in use */ 13b4315306SDan Handley ARM_CONFIG_BASE_MMAP = 0x1, 146355f234SVikram Kanigiri /* Whether interconnect should be enabled */ 156355f234SVikram Kanigiri ARM_CONFIG_HAS_INTERCONNECT = 0x2, 16b4315306SDan Handley /* Whether TZC should be configured */ 17b4315306SDan Handley ARM_CONFIG_HAS_TZC = 0x4 18b4315306SDan Handley }; 19b4315306SDan Handley 20b4315306SDan Handley typedef struct arm_config { 21b4315306SDan Handley unsigned long flags; 22b4315306SDan Handley } arm_config_t; 23b4315306SDan Handley 24b4315306SDan Handley 25b4315306SDan Handley /* If used, arm_config must be defined and populated in the platform port */ 26b4315306SDan Handley extern arm_config_t arm_config; 27b4315306SDan Handley 2880bb6afdSJuan Castillo static inline const arm_config_t *get_arm_config(void) 29b4315306SDan Handley { 30b4315306SDan Handley return &arm_config; 31b4315306SDan Handley } 32b4315306SDan Handley 33b4315306SDan Handley 34b4315306SDan Handley #endif /* __ARM_CONFIG_H__ */ 35