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