Searched refs:marvell_bl31_platform_setup (Results 1 – 4 of 4) sorted by relevance
163 void marvell_bl31_platform_setup(void) in marvell_bl31_platform_setup() function190 marvell_bl31_platform_setup(); in bl31_platform_setup()
75 void marvell_bl31_platform_setup(void);
91 void marvell_bl31_platform_setup(void);
705 marvell_bl31_platform_setup(); in a8k_pwr_domain_suspend_finish()