MSR_AMD64_SEV_SNP_ENABLED
if (!(status & MSR_AMD64_SEV_SNP_ENABLED))
if (sev_status & MSR_AMD64_SEV_SNP_ENABLED) {
if (snp && !(sev_status & MSR_AMD64_SEV_SNP_ENABLED))
return sev_status & MSR_AMD64_SEV_SNP_ENABLED;
if (!(sev_get_status() & MSR_AMD64_SEV_SNP_ENABLED))
if (!(sev_status & MSR_AMD64_SEV_SNP_ENABLED))
if (!(sev_status & MSR_AMD64_SEV_SNP_ENABLED))
if (snp_en ^ !!(msr & MSR_AMD64_SEV_SNP_ENABLED))
return sev_status & MSR_AMD64_SEV_SNP_ENABLED;
if (sev_status & MSR_AMD64_SEV_SNP_ENABLED) {
GUEST_ASSERT(sev_msr & MSR_AMD64_SEV_SNP_ENABLED);