async_set_pht_entry_from_index 2339 gc/os_dep.c      void async_set_pht_entry_from_index(VOLATILE page_hash_table db, int index) {
async_set_pht_entry_from_index 2355 gc/os_dep.c      void async_set_pht_entry_from_index(VOLATILE page_hash_table db, int index) {
async_set_pht_entry_from_index 2373 gc/os_dep.c    # define async_set_pht_entry_from_index(db, index) \