TI_MB_SENDPROD_IDX
CSR_WRITE_4(sc, TI_MB_SENDPROD_IDX, prodidx);
CSR_WRITE_4(sc, TI_MB_SENDPROD_IDX, 0);