Lines Matching defs:void

38 dram_regions_info_t *get_dram_regions_info(void)
45 uint64_t bl31_get_porsr1(void)
87 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
92 	void *from_bl2 = (void *)arg0;
171 void bl31_platform_setup(void)
180 	(void)console_flush();
183 void bl31_plat_runtime_setup(void)
197 void bl31_plat_arch_setup(void)