VAS_TX_WCRED
creds = GET_FIELD(VAS_TX_WCRED, val);
val = SET_FIELD(VAS_TX_WCRED, val, 1);
val = SET_FIELD(VAS_TX_WCRED, val, winctx->wcreds_max);