gic_write_ctlr    200 arch/arm/include/asm/arch_gicv3.h static inline void gic_write_ctlr(u32 val)
gic_write_ctlr     69 arch/arm64/include/asm/arch_gicv3.h static inline void gic_write_ctlr(u32 val)