hpt_worker_thread
tsleep((caddr_t)hpt_worker_thread, 0, "sched", 1);
tsleep((caddr_t)hpt_worker_thread, 0, "hptrdy", 2*hz); /* wait for something to do */
hpt_worker_thread,