git01.mediatek.com / filogic / atf / 320b6051ee189196a0c16a52144c2fdfd12c1de0 / plat / mediatek / mt8173 / bl31_plat_setup.c