whatthread_t
whatthread_walk_thread(uintptr_t addr, const kthread_t *t, whatthread_t *w)
whatthread_t w;