Symbol: SYS_VNCR_EL2
arch/arm64/kvm/hyp/vhe/switch.c
83
write_sysreg_s(vcpu->arch.ctxt.vncr_array, SYS_VNCR_EL2);
arch/arm64/kvm/hyp/vhe/switch.c
93
write_sysreg_s(va, SYS_VNCR_EL2);