Searched refs:tc_bl31_common_platform_setup (Results 1 – 2 of 2) sorted by relevance
33 tc_bl31_common_platform_setup(); in bl31_platform_setup()52 void tc_bl31_common_platform_setup(void) in tc_bl31_common_platform_setup() function
10 void tc_bl31_common_platform_setup(void);
Completed in 4 milliseconds