Lines Matching defs:void

36 const mmap_region_t *plat_sigi_get_mmap(void)
41 unsigned int plat_get_syscnt_freq2(void)
70 static inline void bl31_set_default_config(void)
79 static void sigi_print_platform_name(void)
84 void sigi_config_setup(void)
99 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
133 void bl31_platform_setup(void)
143 void bl31_plat_arch_setup(void)