Searched defs:updIndex (Results 1 – 1 of 1) sorted by relevance
154 val updIndex = if (index == oldIndex) { in <lambda>() constant187 val updIndex = worker.indexInArray in <lambda>() constant210 val updIndex = parkedWorkersStackNextIndex(worker) in <lambda>() constant245 val updIndex = nextWorker.indexInArray in <lambda>() constant