diff options
| author | danh-arm <dan.handley@arm.com> | 2014-11-04 16:01:40 +0000 |
|---|---|---|
| committer | danh-arm <dan.handley@arm.com> | 2014-11-04 16:01:40 +0000 |
| commit | e73f4ef6072096584f44cb0046c78194df359e8a (patch) | |
| tree | e5b1602b93cf92d37cd8601fd46dd0b0a68ed369 /plat/juno/juno_private.h | |
| parent | 82b9b2973b108e91367159f2f42dec2fc45f168d (diff) | |
| parent | 33132e643a030847529c324e41c673e54a81a1ee (diff) | |
Merge pull request #219 from jcastillo-arm/jc/tf-issues/253
Improvements to ARM GIC driver
Juno: Use the generic ARM GIC driver
Diffstat (limited to 'plat/juno/juno_private.h')
| -rw-r--r-- | plat/juno/juno_private.h | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/plat/juno/juno_private.h b/plat/juno/juno_private.h index bb2548f1..14d7af4d 100644 --- a/plat/juno/juno_private.h +++ b/plat/juno/juno_private.h @@ -83,18 +83,7 @@ void plat_report_exception(unsigned long type); unsigned long plat_get_ns_image_entrypoint(void); unsigned long platform_get_stack(unsigned long mpidr); uint64_t plat_get_syscnt_freq(void); - -/* Declarations for plat_gic.c */ -uint32_t ic_get_pending_interrupt_id(void); -uint32_t ic_get_pending_interrupt_type(void); -uint32_t ic_acknowledge_interrupt(void); -uint32_t ic_get_interrupt_type(uint32_t id); -void ic_end_of_interrupt(uint32_t id); -void gic_cpuif_deactivate(unsigned int gicc_base); -void gic_cpuif_setup(unsigned int gicc_base); -void gic_pcpu_distif_setup(unsigned int gicd_base); -void gic_setup(void); -uint32_t plat_interrupt_type_to_line(uint32_t type, uint32_t security_state); +void plat_gic_init(void); /* Declarations for plat_topology.c */ int plat_setup_topology(void); |