Home
last modified time | relevance | path

Searched refs:marvell_get_spsr_for_bl32_entry (Results 1 – 5 of 5) sorted by relevance

/trusted-firmware-a-3.7.0/include/plat/marvell/armada/a3k/common/
Dplat_marvell.h67 uint32_t marvell_get_spsr_for_bl32_entry(void);
/trusted-firmware-a-3.7.0/plat/marvell/armada/common/aarch64/
Dmarvell_common.c95 uint32_t marvell_get_spsr_for_bl32_entry(void) in marvell_get_spsr_for_bl32_entry() function
/trusted-firmware-a-3.7.0/include/plat/marvell/armada/a8k/common/
Dplat_marvell.h83 uint32_t marvell_get_spsr_for_bl32_entry(void);
/trusted-firmware-a-3.7.0/plat/marvell/armada/common/
Dmarvell_bl2_setup.c124 bl_mem_params->ep_info.spsr = marvell_get_spsr_for_bl32_entry(); in marvell_bl2_handle_post_image_load()
Dmarvell_bl31_setup.c85 bl32_image_ep_info.spsr = marvell_get_spsr_for_bl32_entry(); in marvell_bl31_early_platform_setup()