Symbol: read_vncr_el2
arch/arm64/kvm/nested.c
1293
va = read_vncr_el2(vcpu);
arch/arm64/kvm/nested.c
1365
if (read_vncr_el2(vcpu) != vt->gva)
arch/arm64/kvm/nested.c
1469
if (read_vncr_el2(vcpu) != vt->gva)