CC_ATTR_GUEST_SEV_SNP
case CC_ATTR_GUEST_SEV_SNP:
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP)) {
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
} else if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP)) {
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP) &&
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP) && !efi_enabled(EFI_BOOT))
if ((xen_pv_domain() && !xen_initial_domain()) || cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP))
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP)) {
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP) && !enc)
if (cc_platform_has(CC_ATTR_GUEST_SEV_SNP) && enc)
if (!cc_platform_has(CC_ATTR_GUEST_SEV_SNP))