1922 	lpl_t		*lpl, *lpl_leaf;  in disp_getwork()  local
1952 	lpl = lpl_leaf = cp->cpu_lpl;  in disp_getwork()
2046 			if ((lpl_leaf = lpl->lpl_rset[++leafidx]) == NULL) {  in disp_getwork()
2048 				lpl_leaf = lpl->lpl_rset[leafidx];  in disp_getwork()
2062 		if ((lpl = lpl->lpl_parent) != NULL) {  in disp_getwork()
2063 			leafidx = startidx = lpl->lpl_id2rset[local_id];  in disp_getwork()
2064 			lpl_leaf = lpl->lpl_rset[leafidx];  in disp_getwork()
2066 	} while (!tcp && lpl);  in disp_getwork()
2601 disp_lowpri_cpu(cpu_t *hint, lpl_t *lpl, pri_t tpri, cpu_t *curcpu)  in disp_lowpri_cpu()  argument
2622 	ASSERT(lpl != NULL);  in disp_lowpri_cpu()
2623 	ASSERT(lpl->lpl_ncpu > 0);  in disp_lowpri_cpu()
2638 	lpl_iter = lpl;  in disp_lowpri_cpu()