Home
last modified time | relevance | path

Searched defs:marvell_get_spsr_for_bl33_entry (Results 1 – 2 of 2) sorted by relevance

/external/arm-trusted-firmware/plat/marvell/armada/common/aarch64/
Dmarvell_common.c108 uint32_t marvell_get_spsr_for_bl33_entry(void) in marvell_get_spsr_for_bl33_entry() function
/external/trusty/arm-trusted-firmware/plat/marvell/armada/common/aarch64/
Dmarvell_common.c108 uint32_t marvell_get_spsr_for_bl33_entry(void) in marvell_get_spsr_for_bl33_entry() function