git01.mediatek.com / filogic / atf / 0f553dc2f136adefc94c433fdac967a13f457b73 / include / drivers / arm / gicv2.h