Lines Matching defs:void

74 void plat_marvell_gic_driver_init(void)
91 void plat_marvell_gic_init(void)
111 void plat_marvell_gic_cpuif_enable(void)
120 void plat_marvell_gic_cpuif_disable(void)
129 void plat_marvell_gic_pcpu_init(void)
138 void plat_marvell_gic_irq_save(void)
171 void plat_marvell_gic_irq_restore(void)
198 void plat_marvell_gic_irq_pcpu_save(void)
207 void plat_marvell_gic_irq_pcpu_restore(void)