gic_read_ctlr     206 arch/arm/include/asm/arch_gicv3.h static inline u32 gic_read_ctlr(void)
gic_read_ctlr      75 arch/arm64/include/asm/arch_gicv3.h static inline u32 gic_read_ctlr(void)