Searched refs:max_u64 (Results 1 – 1 of 1) sorted by relevance
117 static inline __u64 max_u64(__u64 x, __u64 y) in max_u64() function242 node->in_max_high = max_u64(interval_high(node), in __rotate_change_maxhigh()243 max_u64(left_max, right_max)); in __rotate_change_maxhigh()499 node->in_max_high = max_u64(interval_high(node), in update_maxhigh()500 max_u64(left_max, right_max)); in update_maxhigh()