Symbol: vntsd_reset_timer
usr/src/cmd/vntsd/common.c
226
vntsd_reset_timer(client->cons_tid);
usr/src/cmd/vntsd/vntsd.h
467
void vntsd_reset_timer(thread_t tid);