git01.mediatek.com / filogic / atf / d793ff09d8b55c9a8d07a851538ac322270c4869 / plat / marvell / a8k / a70x0_amc / mvebu_def.h