Searched refs:tcb_idx (Results 1 – 1 of 1) sorted by relevance
823 unsigned int tcb_idx; in get_tcb2() local829 if (get_int_arg(argv[start_arg], &tcb_idx)) in get_tcb2()837 mr.addr = tcb_idx * TCB_SIZE; in get_tcb2()