/include/plat/marvell/armada/a3k/common/
../
armada_common.h
board_marvell_def.h
marvell_def.h
plat_marvell.h