diff options
Diffstat (limited to 'plat/fvp/platform.h')
| -rw-r--r-- | plat/fvp/platform.h | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/plat/fvp/platform.h b/plat/fvp/platform.h index 38bd5580..af61488d 100644 --- a/plat/fvp/platform.h +++ b/plat/fvp/platform.h @@ -57,8 +57,8 @@ #define PLATFORM_CLUSTER_COUNT 2ull #define PLATFORM_CLUSTER0_CORE_COUNT 4 #define PLATFORM_CLUSTER1_CORE_COUNT 4 -#define PLATFORM_CORE_COUNT (PLATFORM_CLUSTER1_CORE_COUNT + \ - PLATFORM_CLUSTER0_CORE_COUNT) +#define PLATFORM_CORE_COUNT (PLATFORM_CLUSTER1_CORE_COUNT + \ + PLATFORM_CLUSTER0_CORE_COUNT) #define PLATFORM_MAX_CPUS_PER_CLUSTER 4 #define PRIMARY_CPU 0x0 @@ -333,6 +333,12 @@ extern void plat_report_exception(unsigned long); extern unsigned long plat_get_ns_image_entrypoint(void); extern unsigned long platform_get_stack(unsigned long mpidr); +/* Declarations for fvp_gic.c */ +extern void gic_cpuif_deactivate(unsigned int); +extern void gic_cpuif_setup(unsigned int); +extern void gic_pcpu_distif_setup(unsigned int); +extern void gic_setup(void); + /* Declarations for fvp_topology.c */ extern int plat_setup_topology(void); extern int plat_get_max_afflvl(void); |