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