2015-03-19 18:58:55 +00:00
|
|
|
/*
|
2016-02-15 11:54:14 +00:00
|
|
|
* Copyright (c) 2014-2016, ARM Limited and Contributors. All rights reserved.
|
2015-03-19 18:58:55 +00:00
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2015-03-19 18:58:55 +00:00
|
|
|
*/
|
|
|
|
#ifndef __ARM_CONFIG_H__
|
|
|
|
#define __ARM_CONFIG_H__
|
|
|
|
|
2014-09-09 09:49:23 +01:00
|
|
|
#include <stdint.h>
|
2015-03-19 18:58:55 +00:00
|
|
|
|
|
|
|
enum arm_config_flags {
|
|
|
|
/* Whether Base memory map is in use */
|
|
|
|
ARM_CONFIG_BASE_MMAP = 0x1,
|
2016-02-15 11:54:14 +00:00
|
|
|
/* Whether interconnect should be enabled */
|
|
|
|
ARM_CONFIG_HAS_INTERCONNECT = 0x2,
|
2015-03-19 18:58:55 +00:00
|
|
|
/* Whether TZC should be configured */
|
|
|
|
ARM_CONFIG_HAS_TZC = 0x4
|
|
|
|
};
|
|
|
|
|
|
|
|
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;
|
|
|
|
|
2015-08-04 14:31:27 +01:00
|
|
|
static inline const arm_config_t *get_arm_config(void)
|
2015-03-19 18:58:55 +00:00
|
|
|
{
|
|
|
|
return &arm_config;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
#endif /* __ARM_CONFIG_H__ */
|