227 void gicv3_rdistif_init(unsigned int proc_num)  in gicv3_rdistif_init()
265 void gicv3_rdistif_off(unsigned int proc_num)  in gicv3_rdistif_off()
269 void gicv3_rdistif_on(unsigned int proc_num)  in gicv3_rdistif_on()
277 void gicv3_cpuif_enable(unsigned int proc_num)  in gicv3_cpuif_enable()
344 void gicv3_cpuif_disable(unsigned int proc_num)  in gicv3_cpuif_disable()
432 unsigned int gicv3_get_interrupt_group(unsigned int id, unsigned int proc_num)  in gicv3_get_interrupt_group()
556 void gicv3_rdistif_save(unsigned int proc_num,  in gicv3_rdistif_save()
631 void gicv3_rdistif_init_restore(unsigned int proc_num,  in gicv3_rdistif_init_restore()
936 unsigned int gicv3_get_interrupt_active(unsigned int id, unsigned int proc_num)  in gicv3_get_interrupt_active()
962 void gicv3_enable_interrupt(unsigned int id, unsigned int proc_num)  in gicv3_enable_interrupt()
994 void gicv3_disable_interrupt(unsigned int id, unsigned int proc_num)  in gicv3_disable_interrupt()
1033 void gicv3_set_interrupt_priority(unsigned int id, unsigned int proc_num,  in gicv3_set_interrupt_priority()
1061 void gicv3_set_interrupt_group(unsigned int id, unsigned int proc_num,  in gicv3_set_interrupt_group()
1218 void gicv3_clear_interrupt_pending(unsigned int id, unsigned int proc_num)  in gicv3_clear_interrupt_pending()
1251 void gicv3_set_interrupt_pending(unsigned int id, unsigned int proc_num)  in gicv3_set_interrupt_pending()
1308 	unsigned int old_mask, proc_num;  in gicv3_deactivate_priority()  local
1336 	unsigned int proc_num;  in gicv3_rdistif_probe()  local