independent_voltage_margins
if (independent_voltage_margins(margining) == USB4_MARGIN_CAP_VOLTAGE_INDP_GEN_2_3_HL ||
switch (independent_voltage_margins(margining)) {