Lines Matching refs:Ready
154 // We use two ready lists; Preferred and Ready. Preferred has recently
156 // order. Ready has the remaining ready blocks.
162 Ready;
177 Ready.push(DeferredBlock);
187 // Decrement the predecessor count. If it's now zero, it's ready.
210 Ready.push(Next);
217 // general Ready list.
220 if (Ready.empty()) {
225 Next = Ready.top();
226 Ready.pop();
