Lines Matching defs:void

46 void plat_gic_driver_init(void)
59 static __inline void plat_gicr_exit_sleep(void)
77 void plat_gic_init(void)
85 void plat_gic_cpuif_enable(void)
90 void plat_gic_cpuif_disable(void)
95 void plat_gic_pcpu_init(void)
100 void plat_gic_save(unsigned int proc_num, struct plat_gic_ctx *ctx)
108 void plat_gic_restore(unsigned int proc_num, struct plat_gic_ctx *ctx)