MSR_AMD64_SEV_ENABLED
if (!(sev_status & MSR_AMD64_SEV_ENABLED))
if (!sme_get_me_mask() || sev_status & MSR_AMD64_SEV_ENABLED)
feature_mask = (msr & MSR_AMD64_SEV_ENABLED) ? AMD_SEV_BIT : AMD_SME_BIT;
return sme_me_mask && !(sev_status & MSR_AMD64_SEV_ENABLED);
return sev_status & MSR_AMD64_SEV_ENABLED;
return (sev_status & MSR_AMD64_SEV_ENABLED) &&
if (sev_status & MSR_AMD64_SEV_ENABLED)
GUEST_ASSERT(sev_msr & MSR_AMD64_SEV_ENABLED);
GUEST_ASSERT(rdmsr(MSR_AMD64_SEV) & MSR_AMD64_SEV_ENABLED);
GUEST_ASSERT(rdmsr(MSR_AMD64_SEV) & MSR_AMD64_SEV_ENABLED);