Searched refs:bl31_set_default_config (Results 1 – 2 of 2) sorted by relevance
45 static inline void bl31_set_default_config(void) in bl31_set_default_config() function96 bl31_set_default_config(); in bl31_early_platform_setup2()103 bl31_set_default_config(); in bl31_early_platform_setup2()
46 static inline void bl31_set_default_config(void) in bl31_set_default_config() function101 bl31_set_default_config(); in bl31_early_platform_setup2()