SYS_ICC_SGI1R_EL1   88 arch/arm64/include/asm/arch_gicv3.h 	write_sysreg_s(val, SYS_ICC_SGI1R_EL1);
SYS_ICC_SGI1R_EL1 1535 arch/arm64/kvm/sys_regs.c 	{ SYS_DESC(SYS_ICC_SGI1R_EL1), access_gic_sgi },