tx_ring_posted
tx_credits(ssk), tx_ring_posted(ssk));
SDP_TX_SIZE - tx_ring_posted(ssk));
return SDP_TX_SIZE - tx_ring_posted(ssk);
if (tx_ring_posted(ssk))
(u32) tx_ring_posted(ssk));
(u32) tx_ring_posted(ssk),
inflight = (u32) tx_ring_posted(ssk);
while (tx_ring_posted(ssk)) {