76 uint32_t gicr_get_sgi_pending(void)  in gicr_get_sgi_pending()  argument
89 void mt_gic_pcpu_init(void)  in mt_gic_pcpu_init()  argument
94 void mt_gic_distif_save(void)  in mt_gic_distif_save()  argument
100 void mt_gic_distif_restore(void)  in mt_gic_distif_restore()  argument
106 void mt_gic_rdistif_save(void)  in mt_gic_rdistif_save()  argument
118 void mt_gic_rdistif_restore(void)  in mt_gic_rdistif_restore()  argument
132 void mt_gic_redistif_on(void)  in mt_gic_redistif_on()  argument
137 void mt_gic_redistif_off(void)  in mt_gic_redistif_off()  argument
142 void mt_gic_redistif_init(void)  in mt_gic_redistif_init()  argument
147 void mt_gic_cpuif_enable(void)  in mt_gic_cpuif_enable()  argument
152 void mt_gic_cpuif_disable(void)  in mt_gic_cpuif_disable()  argument
156 void mt_gic_driver_init(void)  in mt_gic_driver_init()  argument
170 void mt_gic_init(void)  in mt_gic_init()  argument
177 int mt_gic_one_init(void)  in mt_gic_one_init()  argument