TXP_OFFSET2IDX
TXP_OFFSET2IDX(le32toh(*(sc->sc_txhir.r_off)))))
TXP_OFFSET2IDX(le32toh(*(sc->sc_txlor.r_off)))))
end = TXP_OFFSET2IDX(le32toh(hv->hv_rx_buf_read_idx));
i = TXP_OFFSET2IDX(le32toh(hv->hv_rx_buf_write_idx));
uint32_t idx = TXP_OFFSET2IDX(le32toh(*(r->r_off)));