Searched refs:max_u64 (Results 1 – 1 of 1) sorted by relevance
111 static inline __u64 max_u64(__u64 x, __u64 y) in max_u64() function144 node->in_max_high = max_u64(interval_high(node), in __rotate_change_maxhigh()145 max_u64(left_max, right_max)); in __rotate_change_maxhigh()402 node->in_max_high = max_u64(interval_high(node), in update_maxhigh()403 max_u64(left_max, right_max)); in update_maxhigh()