TBR_SCALE
tbr->tbr_token -= TBR_SCALE(m_pktlen(m));
tbr->tbr_rate = TBR_SCALE(profile->rate / 8) / machclk_freq;
tbr->tbr_depth = TBR_SCALE(profile->depth);