Searched refs:tc0_bl31_common_platform_setup (Results 1 – 2 of 2) sorted by relevance
31 tc0_bl31_common_platform_setup(); in bl31_platform_setup()47 void tc0_bl31_common_platform_setup(void) in tc0_bl31_common_platform_setup() function
10 void tc0_bl31_common_platform_setup(void);