Searched refs:longest_mark_read_walk (Results 1 – 2 of 2) sorted by relevance
569 u32 longest_mark_read_walk; member
2559 if (env->longest_mark_read_walk < cnt) in mark_reg_read()2560 env->longest_mark_read_walk = cnt; in mark_reg_read()17180 env->peak_states, env->longest_mark_read_walk); in print_verification_stats()
Completed in 33 milliseconds