Lines Matching defs:void

118 void __init arm_bl31_early_platform_setup(void *from_bl2, uintptr_t soc_fw_config,
119 				uintptr_t hw_config, void *plat_params_from_bl2)
262 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
265 	arm_bl31_early_platform_setup((void *)arg0, arg1, arg2, (void *)arg3);
287 void arm_bl31_platform_setup(void)
330 void arm_bl31_plat_runtime_setup(void)
360 void arm_free_init_memory(void)
389 void __init bl31_platform_setup(void)
394 void bl31_plat_runtime_setup(void)
405 void __init arm_bl31_plat_arch_setup(void)
449 void __init bl31_plat_arch_setup(void)