git01.mediatek.com / filogic / atf / 69ac42b617f17f52343d08f90c0e17271593ff3c / plat / marvell / a8k / a80x0 / mvebu_def.h