peak_states 391 include/linux/bpf_verifier.h u32 peak_states; peak_states 7419 kernel/bpf/verifier.c env->peak_states--; peak_states 7458 kernel/bpf/verifier.c env->peak_states++; peak_states 9290 kernel/bpf/verifier.c env->peak_states, env->longest_mark_read_walk);