/* Retreive number of DTRs available. This function can not be called from data path. ring_initial_replenishi() is the only user.  */
int vxge_hw_channel_dtr_count(struct __vxge_hw_channel *channel)
/* Retreive number of DTRs available. This function can not be called from data path. ring_initial_replenishi() is the only user.  */
int vxge_hw_channel_dtr_count(struct __vxge_hw_channel *channel)
{
	return (channel->reserve_ptr - channel->reserve_top) +
		(channel->length - channel->free_ptr);
}