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) \