Symbol: SYS_ICH_VMCR_EL2
arch/arm64/kvm/hyp/vgic-v5-sr.c
109
cpu_if->vgic_vmcr = read_sysreg_s(SYS_ICH_VMCR_EL2);
arch/arm64/kvm/hyp/vgic-v5-sr.c
25
write_sysreg_s(cpu_if->vgic_vmcr, 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),