TX_BATCH_SIZE
budget < TX_BATCH_SIZE || budget > xs->tx->nentries)
xs->max_tx_budget = TX_BATCH_SIZE;