gic_read_sre 222 arch/arm/include/asm/arch_gicv3.h static inline u32 gic_read_sre(void) gic_read_sre 91 arch/arm64/include/asm/arch_gicv3.h static inline u32 gic_read_sre(void)