GC_unmap_start   1838 gc/os_dep.c        ptr_t start_addr = GC_unmap_start(start, bytes);
GC_unmap_start   1873 gc/os_dep.c        ptr_t start_addr = GC_unmap_start(start, bytes);
GC_unmap_start   1921 gc/os_dep.c        ptr_t start1_addr = GC_unmap_start(start1, bytes1);
GC_unmap_start   1923 gc/os_dep.c        ptr_t start2_addr = GC_unmap_start(start2, bytes2);
GC_unmap_start   1929 gc/os_dep.c        if (0 == start1_addr) start_addr = GC_unmap_start(start1, bytes1 + bytes2);