Lines Matching defs:void
56 static inline void bl31_set_default_config(void)71 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,147 void *handle, void *cookie)169 void bl31_platform_setup(void)178 void bl31_plat_runtime_setup(void)200 void bl31_plat_arch_setup(void)