Searched defs:copy_elements (Results 1 – 1 of 1) sorted by relevance
178 let copy_elements = inner.initial_memory_regions_num - index; in do_insert_area() localVariable215 let copy_elements = inner.initial_memory_regions_num - (i + 2) as usize; in do_merge_blocks() localVariable250 let copy_elements = inner.initial_memory_regions_num - index - 1; in do_remove_region() localVariable