/include/plat/marvell/a8k/common/
../
arm_def.h
plat_config.h
plat_marvell.h
plat_pm_trace.h