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