Lines Matching defs:void

39 const mmap_region_t *plat_lua_get_mmap(void)
44 unsigned int plat_get_syscnt_freq2(void)
73 static inline void bl31_set_default_config(void)
81 static void lua_print_platform_name(void)
86 void lua_config_setup(void)
101 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
131 		void *handle, void *cookie)
146 		void *handle, void *cookie)
165 void bl31_platform_setup(void)
187 void bl31_plat_arch_setup(void)