|
@@ -372,19 +372,17 @@ extern struct gic_shared_intr_map gic_shared_intr_map[];
|
|
|
extern void gic_init(unsigned long gic_base_addr,
|
|
|
unsigned long gic_addrspace_size, struct gic_intr_map *intrmap,
|
|
|
unsigned int intrmap_size, unsigned int irqbase);
|
|
|
-
|
|
|
extern void gic_clocksource_init(unsigned int);
|
|
|
-extern unsigned int gic_get_int(void);
|
|
|
extern cycle_t gic_read_count(void);
|
|
|
extern void gic_send_ipi(unsigned int intr);
|
|
|
extern unsigned int plat_ipi_call_int_xlate(unsigned int);
|
|
|
extern unsigned int plat_ipi_resched_int_xlate(unsigned int);
|
|
|
extern void gic_bind_eic_interrupt(int irq, int set);
|
|
|
extern unsigned int gic_get_timer_pending(void);
|
|
|
+extern unsigned int gic_get_int(void);
|
|
|
extern void gic_enable_interrupt(int irq_vec);
|
|
|
extern void gic_disable_interrupt(int irq_vec);
|
|
|
extern void gic_irq_ack(struct irq_data *d);
|
|
|
extern void gic_finish_irq(struct irq_data *d);
|
|
|
extern void gic_platform_init(int irqs, struct irq_chip *irq_controller);
|
|
|
-
|
|
|
#endif /* _ASM_GICREGS_H */
|