threadv            71 threadlist.cpp static int restarthread(void *threadv);
threadv           716 threadlist.cpp static int restarthread (void *threadv)
threadv           718 threadlist.cpp   Thread *thread = (Thread*) threadv;