start1 1772 gc/include/private/gc_priv.h void GC_unmap_gap(ptr_t start1, word bytes1, ptr_t start2, word bytes2); start1 1919 gc/os_dep.c void GC_unmap_gap(ptr_t start1, word bytes1, ptr_t start2, word bytes2) start1 1921 gc/os_dep.c ptr_t start1_addr = GC_unmap_start(start1, bytes1); start1 1922 gc/os_dep.c ptr_t end1_addr = GC_unmap_end(start1, bytes1); start1 1928 gc/os_dep.c GC_ASSERT(start1 + bytes1 == start2); start1 1929 gc/os_dep.c if (0 == start1_addr) start_addr = GC_unmap_start(start1, bytes1 + bytes2); start1 1930 gc/os_dep.c if (0 == start2_addr) end_addr = GC_unmap_end(start1, bytes1 + bytes2);