pcu_available_p
(!pcu_available_p(l) && pcu_valid == 0));
KASSERT(l == curlwp || ((!pcu_available_p(l) ||