System interruption via unchecked BPF exception locks

Improper locking in the Linux Kernel BPF verifier allows local users to interrupt system availability via a crafted BPF program. The process_bpf_exit_full() path passes a false check_lock value to check_resource_leak() when bpf_throw() exits a static subprogram, so the verifier skips active RCU, preemption, and IRQ lock validation even though ORC unwinding leaves those locks held. Exploitation requires local low-privileged access and the ability to load an affected BPF program; the published record does not specify whether the resulting interruption is a hang, crash, reboot, or shutdown.