Searched refs:sgi_bl31_common_platform_setup (Results 1 – 8 of 8) sorted by relevance
11 void sgi_bl31_common_platform_setup(void);
29 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
28 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
30 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
95 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
129 sgi_bl31_common_platform_setup(); in bl31_platform_setup()
99 void sgi_bl31_common_platform_setup(void) in sgi_bl31_common_platform_setup() function