Searched refs:left_max (Results 1 – 1 of 1) sorted by relevance
139 __u64 left_max, right_max; in __rotate_change_maxhigh() local142 left_max = node->in_left ? node->in_left->in_max_high : 0; in __rotate_change_maxhigh()145 max_u64(left_max, right_max)); in __rotate_change_maxhigh()397 __u64 left_max, right_max; in update_maxhigh() local400 left_max = node->in_left ? node->in_left->in_max_high : 0; in update_maxhigh()403 max_u64(left_max, right_max)); in update_maxhigh()