Searched defs:pre_extension_num (Results 1 – 1 of 1) sorted by relevance
1658 size_t pre_extension_num = htab_elements (see_pre_extension_hash); in see_pre_insert_extensions() local1786 size_t pre_extension_num = htab_elements (see_pre_extension_hash); in see_commit_changes() local2099 size_t pre_extension_num = htab_elements (see_pre_extension_hash); in see_execute_LCM() local