git01.mediatek.com / filogic / atf / 3aa06f0c1e95a80d1d02d5685d7534a4bbff8b64 / plat / marvell / a8k / a80x0_mcbin / mvebu_def.h