/*
 * Copyright (c) 2014-2018, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */
#ifndef __ARM_CONFIG_H__
#define __ARM_CONFIG_H__

#include <stdint.h>
#include <utils_def.h>

/* Whether Base memory map is in use */
#define ARM_CONFIG_BASE_MMAP		BIT(1)

/* Whether TZC should be configured */
#define ARM_CONFIG_HAS_TZC		BIT(2)

/* FVP model has shifted affinity */
#define ARM_CONFIG_FVP_SHIFTED_AFF	BIT(3)

/* FVP model has SMMUv3 affinity */
#define ARM_CONFIG_FVP_HAS_SMMUV3	BIT(4)

/* FVP model has CCI (400 or 500/550) devices */
#define ARM_CONFIG_FVP_HAS_CCI400	BIT(5)
#define ARM_CONFIG_FVP_HAS_CCI5XX	BIT(6)

typedef struct arm_config {
	unsigned long flags;
} arm_config_t;


/* If used, arm_config must be defined and populated in the platform port */
extern arm_config_t arm_config;

static inline const arm_config_t *get_arm_config(void)
{
	return &arm_config;
}


#endif /* __ARM_CONFIG_H__ */