Searched defs:bl31_set_default_config (Results 1 – 6 of 6) sorted by relevance
70 static inline void bl31_set_default_config(void) in bl31_set_default_config() function
71 static inline void bl31_set_default_config(void) in bl31_set_default_config() function
56 static inline void bl31_set_default_config(void) in bl31_set_default_config() function
73 static inline void bl31_set_default_config(void) in bl31_set_default_config() function
52 static inline void bl31_set_default_config(void) in bl31_set_default_config() function