Home
last modified time | relevance | path

Searched refs:marvell_setup_page_tables (Results 1 – 6 of 6) sorted by relevance

/external/arm-trusted-firmware/plat/marvell/armada/common/
Dmarvell_bl1_setup.c59 marvell_setup_page_tables(bl1_ram_layout.total_base, in marvell_bl1_plat_arch_setup()
Dmarvell_bl2_setup.c79 marvell_setup_page_tables(bl2_tzram_layout.total_base, in marvell_bl2_plat_arch_setup()
Dmarvell_bl31_setup.c209 marvell_setup_page_tables(BL31_BASE, in marvell_bl31_plat_arch_setup()
/external/arm-trusted-firmware/include/plat/marvell/armada/a3k/common/
Dplat_marvell.h31 void marvell_setup_page_tables(uintptr_t total_base,
/external/arm-trusted-firmware/plat/marvell/armada/common/aarch64/
Dmarvell_common.c33 void marvell_setup_page_tables(uintptr_t total_base, in marvell_setup_page_tables() function
/external/arm-trusted-firmware/include/plat/marvell/armada/a8k/common/
Dplat_marvell.h40 void marvell_setup_page_tables(uintptr_t total_base,