Searched refs:tc_bl31_common_platform_setup (Results 1 – 2 of 2) sorted by relevance
10 void tc_bl31_common_platform_setup(void);
127 tc_bl31_common_platform_setup(); in bl31_platform_setup()184 void tc_bl31_common_platform_setup(void) in tc_bl31_common_platform_setup() function