pht2             3098 gc/os_dep.c    void GC_or_pages(pht1, pht2)
pht2             3099 gc/os_dep.c    page_hash_table pht1, pht2;
pht2             3103 gc/os_dep.c        for (i = 0; i < PHT_SIZE; i++) pht1[i] |= pht2[i];