SF_TxDescQueueProducerIndex
sf_funcreg_write(sc, SF_TxDescQueueProducerIndex,
sf_funcreg_read(sc, SF_TxDescQueueProducerIndex)));