Searched refs:marvell_bl31_plat_arch_setup (Results 1 – 5 of 5) sorted by relevance
205 void marvell_bl31_plat_arch_setup(void) in marvell_bl31_plat_arch_setup() function229 marvell_bl31_plat_arch_setup(); in bl31_plat_arch_setup()
43 marvell_bl31_plat_arch_setup(); in bl31_plat_arch_setup()
77 void marvell_bl31_plat_arch_setup(void);
121 marvell_bl31_plat_arch_setup(); in bl31_plat_arch_setup()
93 void marvell_bl31_plat_arch_setup(void);