139 cycle_t gic_read_count(void)  in gic_read_count()  argument
155 unsigned int gic_get_count_width(void)  in gic_get_count_width()  argument
198 cycle_t gic_read_compare(void)  in gic_read_compare()  argument
211 void gic_start_count(void)  in gic_start_count()  argument
221 void gic_stop_count(void)  in gic_stop_count()  argument
272 int gic_get_c0_compare_int(void)  in gic_get_c0_compare_int()  argument
280 int gic_get_c0_perfcount_int(void)  in gic_get_c0_perfcount_int()  argument
292 int gic_get_c0_fdc_int(void)  in gic_get_c0_fdc_int()  argument
563 static void __gic_irq_dispatch(void)  in __gic_irq_dispatch()  argument
633 static __init void gic_ipi_init(void)  in gic_ipi_init()  argument
647 static inline void gic_ipi_init(void)  in gic_ipi_init()  argument
652 static void __init gic_basic_init(void)  in gic_basic_init()  argument