Searched refs:right_max (Results 1 – 1 of 1) sorted by relevance
139 __u64 left_max, right_max; in __rotate_change_maxhigh() local143 right_max = node->in_right ? node->in_right->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() local401 right_max = node->in_right ? node->in_right->in_max_high : 0; in update_maxhigh()403 max_u64(left_max, right_max)); in update_maxhigh()