Lines Matching defs:void

81 static void imx8mq_soc_info_init(void)
112 static uint32_t get_spsr_for_bl33_entry(void)
128 static void bl31_tz380_setup(void)
145 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
197 void bl31_plat_arch_setup(void)
219 void bl31_platform_setup(void)
246 unsigned int plat_get_syscnt_freq2(void)
252 void plat_trusty_set_boot_args(aapcs64_params_t *args)