ICC_SRE_EL2_ENABLE  296 virt/kvm/arm/hyp/vgic-v3-sr.c 	write_gicreg(read_gicreg(ICC_SRE_EL2) & ~ICC_SRE_EL2_ENABLE,
ICC_SRE_EL2_ENABLE  319 virt/kvm/arm/hyp/vgic-v3-sr.c 	write_gicreg(val | ICC_SRE_EL2_ENABLE, ICC_SRE_EL2);