TXP_IDX2OFFSET    827 dev/pci/if_txp.c 		hv->hv_rx_buf_write_idx = htole32(TXP_IDX2OFFSET(i));
TXP_IDX2OFFSET   1545 dev/pci/if_txp.c 		WRITE_REG(sc, r->r_reg, TXP_IDX2OFFSET(prod));