TXP_IDX2OFFSET
WRITE_REG(sc, r->r_reg, TXP_IDX2OFFSET(prod));
hv->hv_rx_buf_write_idx = htole32(TXP_IDX2OFFSET(i));