Symbol: SYS_ICH_VMCR_EL2
arch/arm64/kvm/vgic/vgic-v3-nested.c
313
__vcpu_assign_sys_reg(vcpu, ICH_VMCR_EL2, read_sysreg_s(SYS_ICH_VMCR_EL2));
tools/testing/selftests/kvm/arm64/vgic_init.c
805
SR(SYS_ICH_VMCR_EL2),