GC_written_pages 3117 gc/os_dep.c            for (i = 0; i < PHT_SIZE; i++) GC_written_pages[i] = (word)(-1);
GC_written_pages 3194 gc/os_dep.c    		memset(GC_written_pages, 0xff, sizeof(page_hash_table));
GC_written_pages 3242 gc/os_dep.c            GC_or_pages(GC_written_pages, GC_grungy_pages);
GC_written_pages 3276 gc/os_dep.c        result = get_pht_entry_from_index(GC_written_pages, index);