Searched defs:tc_bl31_common_platform_setup (Results 1 – 2 of 2) sorted by relevance
52 void tc_bl31_common_platform_setup(void) in tc_bl31_common_platform_setup() function
108 void tc_bl31_common_platform_setup(void) in tc_bl31_common_platform_setup() function