New files: Modified files: kernel/bpf/tnum.c include/linux/tnum.h kernel/bpf/verifier.c