Searched refs:npcm845x_bl31_plat_arch_setup (Results 1 – 2 of 2) sorted by relevance
43 void __init npcm845x_bl31_plat_arch_setup(void);
318 npcm845x_bl31_plat_arch_setup(); in bl31_plat_arch_setup()326 void __init npcm845x_bl31_plat_arch_setup(void) in npcm845x_bl31_plat_arch_setup() function