thread_cbr_number
cbrnum = thread_cbr_number(gts, ucbnum);
cbrnum = thread_cbr_number(kgts, get_cb_number(cb));