Lines Matching defs:void
52 static inline void bl31_set_default_config(void)67 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,188 void *handle, void *cookie)209 void bl31_platform_setup(void)218 void bl31_plat_runtime_setup(void)236 void bl31_plat_arch_setup(void)