New files:

Modified files:
include/linux/bpf.h
include/linux/filter.h
kernel/bpf/verifier.c
include/linux/bpf_verifier.h
kernel/bpf/core.c