Lines Matching defs:void

83 plat_params_from_bl2_t *bl31_get_plat_params(void)
92 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
103 	(void)arg0;
104 	(void)arg1;
189 void plat_trusty_set_boot_args(aapcs64_params_t *args)
211 void bl31_platform_setup(void)
249 void bl31_plat_runtime_setup(void)
267 void bl31_plat_arch_setup(void)