getlwpptr
if (getlwpptr(psp->p_lid) != NULL)
if (getlwpptr(psp->p_rid) != NULL)
static kthread_t *getlwpptr(id_t);