MSR_AMD64_SEV_ES_ENABLED
if (sev_status & MSR_AMD64_SEV_ES_ENABLED)
if (sev_status & MSR_AMD64_SEV_ES_ENABLED) {
return sev_status & MSR_AMD64_SEV_ES_ENABLED;
!(sev_status & MSR_AMD64_SEV_ES_ENABLED);
if (sev_status & MSR_AMD64_SEV_ES_ENABLED)
GUEST_ASSERT(sev_msr & MSR_AMD64_SEV_ES_ENABLED);
GUEST_ASSERT(rdmsr(MSR_AMD64_SEV) & MSR_AMD64_SEV_ES_ENABLED);