Symbol: HV_ISOLATION_TYPE_TDX