HV_ISOLATION_TYPE_TDX
case HV_ISOLATION_TYPE_TDX:
} else if (hv_get_isolation_type() == HV_ISOLATION_TYPE_TDX) {