Lines Matching defs:void

69 void *get_mtk_bl31_fw_config(int index)
71 	void *arg = NULL;
99 void bl31_early_platform_setup2(u_register_t from_bl2,
123 	bl31_fw_config.from_bl2 = (void *)&bl_param_clone;
124 	bl31_fw_config.soc_fw_config = (void *)soc_fw_config;
125 	bl31_fw_config.hw_config = (void *)hw_config;
126 	bl31_fw_config.reserved = (void *)plat_params_from_bl2;
136 void bl31_plat_arch_setup(void)
156 void bl31_platform_setup(void)
166 void bl31_plat_runtime_setup(void)
172 unsigned int plat_get_syscnt_freq2(void)