Searched refs:push_space (Results 1 – 1 of 1) sorted by relevance
3107 int push_space = 0; in __push_leaf_right() local3120 push_space += data_size; in __push_leaf_right()3131 if (space + push_space * 2 > free_space) in __push_leaf_right()3137 push_space += data_size; in __push_leaf_right()3141 push_space > free_space) in __push_leaf_right()3160 push_space -= leaf_data_end(left); in __push_leaf_right()3169 leaf_data_end(left), push_space); in __push_leaf_right()3319 int push_space = 0; in __push_leaf_left() local3346 push_space += data_size; in __push_leaf_left()3395 leaf_data_end(right), push_space); in __push_leaf_left()[all …]