Searched refs:request_tcb (Results 1 – 1 of 1) sorted by relevance
628 request_tcb(void *arg) in request_tcb() function724 callout_reset(&te->te_callout, hz / 10, request_tcb, te); in do_get_tcb_rpl()