1 /*
2  * Arm SCP/MCP Software
3  * Copyright (c) 2017-2021, Arm Limited and Contributors. All rights reserved.
4  *
5  * SPDX-License-Identifier: BSD-3-Clause
6  */
7 
8 #ifndef RDN1E1_CORE_H
9 #define RDN1E1_CORE_H
10 
11 #include <fwk_assert.h>
12 
13 #define RDN1E1_CORE_PER_CLUSTER_MAX 8
14 
15 /* RDN1E1 only has one configuration, hence the constant values */
16 #define CORES_PER_CLUSTER   4
17 #define NUMBER_OF_CLUSTERS  2
18 
rdn1e1_core_get_cluster_count(void)19 static inline unsigned int rdn1e1_core_get_cluster_count(void)
20 {
21     return NUMBER_OF_CLUSTERS;
22 }
23 
rdn1e1_core_get_core_per_cluster_count(unsigned int cluster)24 static inline unsigned int rdn1e1_core_get_core_per_cluster_count(
25     unsigned int cluster)
26 {
27     fwk_assert(cluster < rdn1e1_core_get_cluster_count());
28 
29     return CORES_PER_CLUSTER;
30 }
31 
rdn1e1_core_get_core_count(void)32 static inline unsigned int rdn1e1_core_get_core_count(void)
33 {
34     return NUMBER_OF_CLUSTERS * CORES_PER_CLUSTER;
35 }
36 
37 #endif /* RDN1E1_CORE_H */
38