tb_usable_credits
credits = tb_usable_credits(port);
tmp = min(tb_usable_credits(hop->in_port), credits);