USB4_MARGIN_CAP_VOLTAGE_INDP_GEN_2_3_HL
if (independent_voltage_margins(margining) == USB4_MARGIN_CAP_VOLTAGE_INDP_GEN_2_3_HL ||
return USB4_MARGIN_CAP_VOLTAGE_INDP_GEN_2_3_HL;
case USB4_MARGIN_CAP_VOLTAGE_INDP_GEN_2_3_HL: