GC_remove_protection 2156 gc/os_dep.c    void GC_remove_protection(h, nblocks, is_ptrfree)
GC_remove_protection 2664 gc/os_dep.c    void GC_remove_protection(h, nblocks, is_ptrfree)
GC_remove_protection 3149 gc/os_dep.c    void GC_remove_protection(h, nblocks, is_ptrfree)
GC_remove_protection 3360 gc/os_dep.c    void GC_remove_protection(h, nblocks, is_ptrfree)