Lines Matching defs:void

64 void marvell_bl31_early_platform_setup(void *from_bl2,
67 				       void *plat_params_from_bl2)
136 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
140 	marvell_bl31_early_platform_setup((void *)arg0, arg1, arg2,
141 					  (void *)arg3);
163 void marvell_bl31_platform_setup(void)
182 void marvell_bl31_plat_runtime_setup(void)
190 void bl31_platform_setup(void)
195 void bl31_plat_runtime_setup(void)
207 void marvell_bl31_plat_arch_setup(void)
229 void bl31_plat_arch_setup(void)
234 unsigned int plat_get_syscnt_freq2(void)