Searched refs:vc_sev (Results 1 – 2 of 2) sorted by relevance
881 int vc_sev; /* [I] */ member
1672 if (vcpu->vc_sev) in vcpu_reset_regs_svm()2853 vcpu->vc_sev = vcp->vcp_sev; in vcpu_init_svm()