Lines Matching defs:void

33 extern void plat_rcar_gic_driver_init(void);
34 extern void plat_rcar_gic_init(void);
43 void plat_cci_init(void)
57 void plat_cci_enable(void)
62 void plat_cci_disable(void)
79 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
94 void bl31_plat_arch_setup(void)
106 void bl31_platform_setup(void)