vntsd_thr_arg_t
vntsd_console_thread(vntsd_thr_arg_t *argp)
vntsd_thr_arg_t *thr_arg;
thr_arg = (vntsd_thr_arg_t *)malloc(sizeof (vntsd_thr_arg_t));
void *vntsd_console_thread(vntsd_thr_arg_t *argp);