get_cb_number     647 drivers/misc/sgi-gru/grufault.c 	ucbnum = get_cb_number((void *)cb);
get_cb_number     702 drivers/misc/sgi-gru/grufault.c 	ucbnum = get_cb_number((void *)excdet.cb);
get_cb_number     411 drivers/misc/sgi-gru/grukservices.c 	cbrnum = thread_cbr_number(kgts, get_cb_number(cb));