/plat/marvell/a3700/common/aarch64/
../
a3700_common.c
plat_helpers.S