This is patch 1, 2 + their individual tests split into a separate series from the RFC, so that these can be taken in, while we continue working towards a fix for handling stack access inside the callback. Changelog: ---------- RFC v1 -> v1: RFC v1: https://lore.kernel.org/bpf/20220815051540.18791-1-memxor@xxxxxxxxx * Fix up commit log to add more explanation (Alexei) * Split reference state fix out into a separate series Kumar Kartikeya Dwivedi (3): bpf: Move bpf_loop and bpf_for_each_map_elem under CAP_BPF bpf: Fix reference state management for synchronous callbacks selftests/bpf: Add tests for reference state fixes for callbacks include/linux/bpf_verifier.h | 11 ++ kernel/bpf/helpers.c | 8 +- kernel/bpf/verifier.c | 42 +++++-- .../selftests/bpf/prog_tests/cb_refs.c | 48 +++++++ tools/testing/selftests/bpf/progs/cb_refs.c | 118 ++++++++++++++++++ 5 files changed, 214 insertions(+), 13 deletions(-) create mode 100644 tools/testing/selftests/bpf/prog_tests/cb_refs.c create mode 100644 tools/testing/selftests/bpf/progs/cb_refs.c -- 2.34.1
