Hi David, hi Jakub, hi Paolo, hi Eric, The following pull-request contains BPF updates for your *net-next* tree. We've added 5 non-merge commits during the last 3 day(s) which contain a total of 7 files changed, 87 insertions(+), 44 deletions(-). The main changes are: 1) Workaround for bpf iter selftest due to lack of subprog support in precision tracking, from Andrii. 2) Disable bpf_refcount_acquire kfunc until races are fixed, from Dave. 3) One more test_verifier test converted from asm macro to asm in C, from Eduard. 4) Fix build with NETFILTER=y INET=n config, from Florian. 5) Add __rcu_read_{lock,unlock} into deny list, from Yafang. Please consider pulling these changes from: git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git tags/for-netdev Thanks a lot! Also thanks to reporters, reviewers and testers of commits in this pull-request: kernel test robot, Kumar Kartikeya Dwivedi ---------------------------------------------------------------- The following changes since commit fbc1449d385d65be49a8d164dfd3772f2cb049ae: Merge tag 'mlx5-updates-2023-04-20' of git://git.kernel.org/pub/scm/linux/kernel/git/saeed/linux (2023-04-21 20:47:05 -0700) are available in the Git repository at: https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git tags/for-netdev for you to fetch changes up to be7dbd275dc6b911a5b9a22c4f9cb71b2c7fd847: selftests/bpf: avoid mark_all_scalars_precise() trigger in one of iter tests (2023-04-24 17:46:44 -0700) ---------------------------------------------------------------- for-netdev ---------------------------------------------------------------- Andrii Nakryiko (1): selftests/bpf: avoid mark_all_scalars_precise() trigger in one of iter tests Dave Marchevsky (1): bpf: Disable bpf_refcount_acquire kfunc calls until race conditions are fixed Eduard Zingerman (1): selftests/bpf: verifier/prevent_map_lookup converted to inline assembly Florian Westphal (1): bpf: fix link failure with NETFILTER=y INET=n Yafang Shao (1): bpf: Add __rcu_read_{lock,unlock} into btf id deny list include/linux/bpf_types.h | 2 +- kernel/bpf/verifier.c | 9 +++- .../selftests/bpf/prog_tests/refcounted_kptr.c | 2 - tools/testing/selftests/bpf/prog_tests/verifier.c | 2 + tools/testing/selftests/bpf/progs/iters.c | 26 +++++---- .../bpf/progs/verifier_prevent_map_lookup.c | 61 ++++++++++++++++++++++ .../selftests/bpf/verifier/prevent_map_lookup.c | 29 ---------- 7 files changed, 87 insertions(+), 44 deletions(-) create mode 100644 tools/testing/selftests/bpf/progs/verifier_prevent_map_lookup.c delete mode 100644 tools/testing/selftests/bpf/verifier/prevent_map_lookup.c