gic_write_sgi1r   217 arch/arm/include/asm/arch_gicv3.h static inline void gic_write_sgi1r(u64 val)
gic_write_sgi1r    86 arch/arm64/include/asm/arch_gicv3.h static inline void gic_write_sgi1r(u64 val)