gic_write_sre 227 arch/arm/include/asm/arch_gicv3.h static inline void gic_write_sre(u32 val) gic_write_sre 96 arch/arm64/include/asm/arch_gicv3.h static inline void gic_write_sre(u32 val)