Searched refs:tmp_id_gen (Results 1 – 2 of 2) sorted by relevance
561 u32 tmp_id_gen; member
15413 old_id = old_id ? old_id : ++idmap->tmp_id_gen; in check_scalar_ids()15414 cur_id = cur_id ? cur_id : ++idmap->tmp_id_gen; in check_scalar_ids()15816 env->idmap_scratch.tmp_id_gen = env->id_gen; in states_equal()
