Searched refs:oldLevel (Results 1 – 3 of 3) sorted by relevance
543 Level oldLevel = getLevel(); in rotate() local565 setLevel(oldLevel); in rotate()
495 Level oldLevel = level; in setLevel() local496 if (oldLevel != newLevel) { in setLevel()
842 int oldLevel = h.level; in doPut() local843 if (level <= oldLevel) // lost race to add level in doPut()847 for (int j = oldLevel+1; j <= level; ++j) in doPut()851 idx = idxs[level = oldLevel]; in doPut()