process_spin_lock 3313 kernel/bpf/verifier.c if (process_spin_lock(env, regno, true)) process_spin_lock 3316 kernel/bpf/verifier.c if (process_spin_lock(env, regno, false))