txbr_dsize
return VMBUS_BR_WAVAIL(rindex, windex, tbr->txbr_dsize);
uint32_t br_dsize = tbr->txbr_dsize;
return (tbr->txbr_dsize - sizeof(uint64_t) - 1);