Searched refs:arm_bl31_platform_setup (Results 1 – 6 of 6) sorted by relevance
236 void arm_bl31_platform_setup(void) in arm_bl31_platform_setup() function340 arm_bl31_platform_setup(); in bl31_platform_setup()
49 arm_bl31_platform_setup(); in tc0_bl31_common_platform_setup()
114 arm_bl31_platform_setup(); in bl31_platform_setup()
101 arm_bl31_platform_setup(); in sgi_bl31_common_platform_setup()
213 arm_bl31_platform_setup(); in bl31_platform_setup()
215 void arm_bl31_platform_setup(void);