Lines Matching defs:void

45 entry_point_info_t *sp_min_plat_get_bl33_ep_info(void)
64 void arm_sp_min_early_platform_setup(void *from_bl2, uintptr_t tos_fw_config,
65 			uintptr_t hw_config, void *plat_params_from_bl2)
136 void plat_arm_sp_min_early_platform_setup(u_register_t arg0, u_register_t arg1,
139 	arm_sp_min_early_platform_setup((void *)arg0, arg1, arg2, (void *)arg3);
158 void sp_min_early_platform_setup2(u_register_t arg0, u_register_t arg1,
168 void arm_sp_min_plat_runtime_setup(void)
181 void sp_min_platform_setup(void)
213 void sp_min_plat_runtime_setup(void)
222 void arm_sp_min_plat_arch_setup(void)
238 void sp_min_plat_arch_setup(void)