Files
linux/kernel/bpf/verifier.c