Searched refs:right_max (Results 1 – 1 of 1) sorted by relevance
237 __u64 left_max, right_max; in __rotate_change_maxhigh() local241 right_max = node->in_right ? node->in_right->in_max_high : 0; in __rotate_change_maxhigh()243 max_u64(left_max, right_max)); in __rotate_change_maxhigh()494 __u64 left_max, right_max; in update_maxhigh() local498 right_max = node->in_right ? node->in_right->in_max_high : 0; in update_maxhigh()500 max_u64(left_max, right_max)); in update_maxhigh()