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