GC_unmap_end     1839 gc/os_dep.c        ptr_t end_addr = GC_unmap_end(start, bytes);
GC_unmap_end     1874 gc/os_dep.c        ptr_t end_addr = GC_unmap_end(start, bytes);
GC_unmap_end     1922 gc/os_dep.c        ptr_t end1_addr = GC_unmap_end(start1, bytes1);
GC_unmap_end     1924 gc/os_dep.c        ptr_t end2_addr = GC_unmap_end(start2, bytes2);
GC_unmap_end     1930 gc/os_dep.c        if (0 == start2_addr) end_addr = GC_unmap_end(start1, bytes1 + bytes2);