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