Searched refs:marvell_setup_page_tables (Results 1 – 6 of 6) sorted by relevance
59 marvell_setup_page_tables(bl1_ram_layout.total_base, in marvell_bl1_plat_arch_setup()
79 marvell_setup_page_tables(bl2_tzram_layout.total_base, in marvell_bl2_plat_arch_setup()
209 marvell_setup_page_tables(BL31_BASE, in marvell_bl31_plat_arch_setup()
31 void marvell_setup_page_tables(uintptr_t total_base,
33 void marvell_setup_page_tables(uintptr_t total_base, in marvell_setup_page_tables() function
40 void marvell_setup_page_tables(uintptr_t total_base,