Searched refs:tc_bl31_common_platform_setup (Results 1 – 2 of 2) sorted by relevance
34 tc_bl31_common_platform_setup(); in bl31_platform_setup()77 void tc_bl31_common_platform_setup(void) in tc_bl31_common_platform_setup() function
14 void tc_bl31_common_platform_setup(void);
