Searched refs:push_space (Results 1 – 1 of 1) sorted by relevance
2676 int push_space = 0; in __push_leaf_right() local2690 push_space += data_size; in __push_leaf_right()2703 if (space + push_space * 2 > free_space) in __push_leaf_right()2709 push_space += data_size; in __push_leaf_right()2731 push_space -= leaf_data_end(left); in __push_leaf_right()2744 push_space); in __push_leaf_right()2906 int push_space = 0; in __push_leaf_left() local2936 push_space += data_size; in __push_leaf_left()2962 leaf_data_end(left) - push_space, in __push_leaf_left()2965 push_space); in __push_leaf_left()[all …]
Completed in 14 milliseconds