Lines Matching refs:WorkListFreeList
2468 if (!WorkListFreeList.empty()) {2469 WL = WorkListFreeList.back();2471 WorkListFreeList.pop_back();2479 WorkListFreeList.push_back(WL);