|
@@ -380,6 +380,7 @@ extern unsigned int gic_compare_int (void);
|
|
extern cycle_t gic_read_count(void);
|
|
extern cycle_t gic_read_count(void);
|
|
extern cycle_t gic_read_compare(void);
|
|
extern cycle_t gic_read_compare(void);
|
|
extern void gic_write_compare(cycle_t cnt);
|
|
extern void gic_write_compare(cycle_t cnt);
|
|
|
|
+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);
|