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];