|
@@ -243,7 +243,6 @@ extern void gic_write_cpu_compare(cycle_t cnt, int cpu);
|
|
extern void gic_send_ipi(unsigned int intr);
|
|
extern void gic_send_ipi(unsigned int intr);
|
|
extern unsigned int plat_ipi_call_int_xlate(unsigned int);
|
|
extern unsigned int plat_ipi_call_int_xlate(unsigned int);
|
|
extern unsigned int plat_ipi_resched_int_xlate(unsigned int);
|
|
extern unsigned int plat_ipi_resched_int_xlate(unsigned int);
|
|
-extern unsigned int gic_get_timer_pending(void);
|
|
|
|
extern int gic_get_c0_compare_int(void);
|
|
extern int gic_get_c0_compare_int(void);
|
|
extern int gic_get_c0_perfcount_int(void);
|
|
extern int gic_get_c0_perfcount_int(void);
|
|
#endif /* __LINUX_IRQCHIP_MIPS_GIC_H */
|
|
#endif /* __LINUX_IRQCHIP_MIPS_GIC_H */
|