|
@@ -383,6 +383,8 @@ static int shadow_scb(struct kvm_vcpu *vcpu, struct vsie_page *vsie_page)
|
|
if (test_kvm_facility(vcpu->kvm, 156))
|
|
if (test_kvm_facility(vcpu->kvm, 156))
|
|
scb_s->ecd |= scb_o->ecd & ECD_ETOKENF;
|
|
scb_s->ecd |= scb_o->ecd & ECD_ETOKENF;
|
|
|
|
|
|
|
|
+ scb_s->hpid = HPID_VSIE;
|
|
|
|
+
|
|
prepare_ibc(vcpu, vsie_page);
|
|
prepare_ibc(vcpu, vsie_page);
|
|
rc = shadow_crycb(vcpu, vsie_page);
|
|
rc = shadow_crycb(vcpu, vsie_page);
|
|
out:
|
|
out:
|