98 static void gic_dist_wait_for_rwp(void)  in gic_dist_wait_for_rwp()  argument
104 static void gic_redist_wait_for_rwp(void)  in gic_redist_wait_for_rwp()  argument
110 static u64 __maybe_unused gic_read_iar(void)  in gic_read_iar()  argument
140 static void gic_enable_sre(void)  in gic_enable_sre()  argument
372 static void __init gic_dist_init(void)  in gic_dist_init()  argument
406 static int gic_populate_rdist(void)  in gic_populate_rdist()  argument
462 static void gic_cpu_sys_reg_init(void)  in gic_cpu_sys_reg_init()  argument
477 static int gic_dist_supports_lpis(void)  in gic_dist_supports_lpis()  argument
482 static void gic_cpu_init(void)  in gic_cpu_init()  argument
601 static void gic_smp_init(void)  in gic_smp_init()  argument
662 static void gic_cpu_pm_init(void)  in gic_cpu_pm_init()  argument
668 static inline void gic_cpu_pm_init(void) { }  in gic_cpu_pm_init()  argument