113 cycle_t gic_read_count(void)  in gic_read_count()  argument
126 unsigned int gic_get_count_width(void)  in gic_get_count_width()  argument
160 cycle_t gic_read_compare(void)  in gic_read_compare()  argument
170 void gic_start_count(void)  in gic_start_count()  argument
180 void gic_stop_count(void)  in gic_stop_count()  argument
231 int gic_get_c0_compare_int(void)  in gic_get_c0_compare_int()  argument
239 int gic_get_c0_perfcount_int(void)  in gic_get_c0_perfcount_int()  argument
251 int gic_get_c0_fdc_int(void)  in gic_get_c0_fdc_int()  argument
516 static void __gic_irq_dispatch(void)  in __gic_irq_dispatch()  argument
586 static __init void gic_ipi_init(void)  in gic_ipi_init()  argument
600 static inline void gic_ipi_init(void)  in gic_ipi_init()  argument
605 static void __init gic_basic_init(void)  in gic_basic_init()  argument