Searched refs:oldLevel (Results 1 – 3 of 3) sorted by relevance
650 Level oldLevel = getLevel(); in rotate() local672 setLevel(oldLevel); in rotate()
457 Level oldLevel = level; in setLevel() local458 if (oldLevel != newLevel) { in setLevel()
871 int oldLevel = h.level; in doPut() local872 if (level <= oldLevel) // lost race to add level in doPut()876 for (int j = oldLevel+1; j <= level; ++j) in doPut()880 idx = idxs[level = oldLevel]; in doPut()