loop_ok 6307 kernel/bpf/verifier.c bool loop_ok) loop_ok 6337 kernel/bpf/verifier.c if (loop_ok && env->allow_ptr_leaks)