On 11/21/22 11:51, Dexuan Cui wrote: > + switch (hv_get_isolation_type()) { > + case HV_ISOLATION_TYPE_VBS: > + case HV_ISOLATION_TYPE_SNP: > cc_set_vendor(CC_VENDOR_HYPERV); > + break; > + > + case HV_ISOLATION_TYPE_TDX: > + static_branch_enable(&isolation_type_tdx); > + break; This makes zero logical sense to me. Running on Hyper-V, a HV_ISOLATION_TYPE_SNP is CC_VENDOR_HYPERV, but a HV_ISOLATION_TYPE_TDX guest is *NOT* CC_VENDOR_HYPERV?