Searched refs:vntsd_reset_timer (Results 1 – 3 of 3) sorted by relevance
467 void vntsd_reset_timer(thread_t tid);
226 vntsd_reset_timer(client->cons_tid); in vntsd_write_client()
170 vntsd_reset_timer(thread_t tid) in vntsd_reset_timer() function