Changes in Makefile

0fc8f6200d2313278fbf4539bbab74677c685531 - Merge drm/drm-fixes into drm-misc-fixes

Mon, 27 Apr 2026 10:26:49 +0200

Merge drm/drm-fixes into drm-misc-fixesGetting fixes and updates from v7.1-rc1.Signed-off-by: Thomas Zimmermann List of files: /linux/kernel/bpf/Makefile

f4b369c6fe0ceaba2da2daff8c9eb415f85926dd - Merge branch 'next' into for-linus

Mon, 20 Apr 2026 03:28:57 +0200

Merge branch 'next' into for-linusPrepare input updates for 7.1 merge window. List of files: /linux/kernel/bpf/Makefile

0421ccdfad0d92713a812a5aeb7d07b0ea7213c8 - Merge tag 'v7.0-rc3' into next

Thu, 12 Mar 2026 18:44:42 +0100

Merge tag 'v7.0-rc3' into nextSync up with the mainline to brig up the latest changes, specificallychanges to ALPS driver. List of files: /linux/kernel/bpf/Makefile

f5ad4101009e7f5f5984ffea6923d4fcd470932a - Merge tag 'bpf-next-7.1' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next

Wed, 15 Apr 2026 03:04:04 +0200

Merge tag 'bpf-next-7.1' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPull bpf updates from Alexei Starovoitov: - Welcome new BPF maintainers: Kumar Kartikeya Dwivedi, Eduard Zingerman while Martin KaFai Lau reduced his load to Reviwer. - Lots of fixes everywhere from many first time contributors. Thank you All. - Diff stat is dominated by mechanical split of verifier.c into multiple components: - backtrack.c: backtracking logic and jump history - states.c: state equivalence - cfg.c: control flow graph, postorder, strongly connected components - liveness.c: register and stack liveness - fixups.c: post-verification passes: instruction patching, dead code removal, bpf_loop inlining, finalize fastcall 8k line were moved. verifier.c still stands at 20k lines. Further refactoring is planned for the next release. - Replace dynamic stack liveness with static stack liveness based on data flow analysis. This improved the verification time by 2x for some programs and equally reduced memory consumption. New logic is in liveness.c and supported by constant folding in const_fold.c (Eduard Zingerman, Alexei Starovoitov) - Introduce BTF layout to ease addition of new BTF kinds (Alan Maguire) - Use kmalloc_nolock() universally in BPF local storage (Amery Hung) - Fix several bugs in linked registers delta tracking (Daniel Borkmann) - Improve verifier support of arena pointers (Emil Tsalapatis) - Improve verifier tracking of register bounds in min/max and tnum domains (Harishankar Vishwanathan, Paul Chaignon, Hao Sun) - Further extend support for implicit arguments in the verifier (Ihor Solodrai) - Add support for nop,nop5 instruction combo for USDT probes in libbpf (Jiri Olsa) - Support merging multiple module BTFs (Josef Bacik) - Extend applicability of bpf_kptr_xchg (Kaitao Cheng) - Retire rcu_trace_implies_rcu_gp() (Kumar Kartikeya Dwivedi) - Support variable offset context access for 'syscall' programs (Kumar Kartikeya Dwivedi) - Migrate bpf_task_work and dynptr to kmalloc_nolock() (Mykyta Yatsenko) - Fix UAF in in open-coded task_vma iterator (Puranjay Mohan)* tag 'bpf-next-7.1' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next: (241 commits) selftests/bpf: cover short IPv4/IPv6 inputs with adjust_room bpf: reject short IPv4/IPv6 inputs in bpf_prog_test_run_skb selftests/bpf: Use memfd_create instead of shm_open in cgroup_iter_memcg selftests/bpf: Add test for cgroup storage OOB read bpf: Fix OOB in pcpu_init_value selftests/bpf: Fix reg_bounds to match new tnum-based refinement selftests/bpf: Add tests for non-arena/arena operations bpf: Allow instructions with arena source and non-arena dest registers bpftool: add missing fsession to the usage and docs of bpftool docs/bpf: add missing fsession attach type to docs bpf: add missing fsession to the verifier log bpf: Move BTF checking logic into check_btf.c bpf: Move backtracking logic to backtrack.c bpf: Move state equivalence logic to states.c bpf: Move check_cfg() into cfg.c bpf: Move compute_insn_live_regs() into liveness.c bpf: Move fixup/post-processing logic from verifier.c into fixups.c bpf: Simplify do_check_insn() bpf: Move checks for reserved fields out of the main pass bpf: Delete unused variable ... List of files: /linux/kernel/bpf/Makefile

46ffc1f78295b8fdb587b99ffc18f29e00ec3a30 - Merge branch 'bpf-split-verifier-c'

Sun, 12 Apr 2026 21:34:31 +0200

Merge branch 'bpf-split-verifier-c'Alexei Starovoitov says:====================v3->v4: Restore few minor comments and undo few function movesv2->v3: Actually restore comments lost in patch 3(instead of adding them to patch 4)v1->v2: Restore comments lost in patch 3verifier.c is huge. Split it into logically independent pieces.No functional changes.The diff is impossible to review over email.'git show' shows minimal actual changes. Only plenty of moved lines.Such split may cause backport headaches.We should have split it long ago.Even after split verifier.c is still 20k lines,but further split is harder.====================Acked-by: Kumar Kartikeya Dwivedi Acked-by: Daniel Borkmann Link: https://patch.msgid.link/20260412152936.54262-1-alexei.starovoitov@gmail.comSigned-off-by: Alexei Starovoitov List of files: /linux/kernel/bpf/Makefile

99a832a2b5b8a8ecc1a2bdd64017892caf4aa096 - bpf: Move BTF checking logic into check_btf.c

Sun, 12 Apr 2026 17:29:35 +0200

bpf: Move BTF checking logic into check_btf.cBTF validation logic is independent from the main verifier.Move it into check_btf.cAcked-by: Kumar Kartikeya Dwivedi Acked-by: Daniel Borkmann Link: https://lore.kernel.org/r/20260412152936.54262-7-alexei.starovoitov@gmail.comSigned-off-by: Alexei Starovoitov List of files: /linux/kernel/bpf/Makefile

ed0b9710bd2efbe663d89728cd9c680c31c6a4e3 - bpf: Move backtracking logic to backtrack.c

Sun, 12 Apr 2026 17:29:34 +0200

bpf: Move backtracking logic to backtrack.cMove precision propagation and backtracking logic to backtrack.cto reduce verifier.c size.No functional changes.Acked-by: Kumar Kartikeya Dwivedi Acked-by: Daniel Borkmann Link: https://lore.kernel.org/r/20260412152936.54262-6-alexei.starovoitov@gmail.comSigned-off-by: Alexei Starovoitov List of files: /linux/kernel/bpf/Makefile

c82834a5a11f743f2926107d8f8150e80742b814 - bpf: Move state equivalence logic to states.c

Sun, 12 Apr 2026 17:29:33 +0200

bpf: Move state equivalence logic to states.cverifier.c is huge. Move is_state_visited() to states.c,so that all state equivalence logic is in one file.Mechanical move. No functional changes.Acked-by: Kumar Kartikeya Dwivedi Acked-by: Daniel Borkmann Link: https://lore.kernel.org/r/20260412152936.54262-5-alexei.starovoitov@gmail.comSigned-off-by: Alexei Starovoitov List of files: /linux/kernel/bpf/Makefile

f8a8faceab9953ed074cd4125b31cc6a562237d8 - bpf: Move check_cfg() into cfg.c

Sun, 12 Apr 2026 17:29:32 +0200

bpf: Move check_cfg() into cfg.cverifier.c is huge. Move check_cfg(), compute_postorder(),compute_scc() into cfg.cMechanical move. No functional changes.Acked-by: Kumar Kartikeya Dwivedi Acked-by: Daniel Borkmann Link: https://lore.kernel.org/r/20260412152936.54262-4-alexei.starovoitov@gmail.comSigned-off-by: Alexei Starovoitov List of files: /linux/kernel/bpf/Makefile

449f08fa59dda5da40317b6976604b877c4ecd63 - bpf: Move fixup/post-processing logic from verifier.c into fixups.c

Sun, 12 Apr 2026 17:29:30 +0200

bpf: Move fixup/post-processing logic from verifier.c into fixups.cverifier.c is huge. Split fixup/post-processing logic that runs afterthe verifier accepted the program into fixups.c.Mechanical move. No functional changes.Acked-by: Kumar Kartikeya Dwivedi Acked-by: Daniel Borkmann Link: https://lore.kernel.org/r/20260412152936.54262-2-alexei.starovoitov@gmail.comSigned-off-by: Alexei Starovoitov List of files: /linux/kernel/bpf/Makefile

6a14beefab457f267b8cedc6ac697a9562ec1244 - Merge branch 'bpf-prep-patches-for-static-stack-liveness'

Fri, 03 Apr 2026 17:33:48 +0200

Merge branch 'bpf-prep-patches-for-static-stack-liveness'Alexei Starovoitov says:====================bpf: Prep patches for static stack liveness.v4->v5:- minor test fixupv3->v4:- fixed invalid recursion detection when calback is called multiple timesv3: https://lore.kernel.org/bpf/20260402212856.86606-1-alexei.starovoitov@gmail.com/v2->v3:- added recursive call detection- fixed ubsan warning- removed double declaration in the header- added Acksv2: https://lore.kernel.org/bpf/20260402061744.10885-1-alexei.starovoitov@gmail.com/v1->v2:. fixed bugs spotted by Eduard, Mykyta, claude and gemini. fixed selftests that were failing in unpriv. gemini(sashiko) found several precision improvements in patch 6, but they made no difference in real programs.v1: https://lore.kernel.org/bpf/20260401021635.34636-1-alexei.starovoitov@gmail.com/First 6 prep patches for static stack liveness.. do src/dst_reg validation early and remove defensive checks. sort subprog in topo order. We wanted to do this long ago to process global subprogs this way and in other cases.. Add constant folding pass that computes map_ptr, subprog_idx, loads from readonly maps, and other constants that fit into 32-bit. Use these constants to eliminate dead code. Replace predicted conditional branches with "jmp always". That reduces JIT prog size.. Add two helpers that return access size from their arguments.====================Link: https://patch.msgid.link/20260403024422.87231-1-alexei.starovoitov@gmail.comSigned-off-by: Alexei Starovoitov List of files: /linux/kernel/bpf/Makefile

f1606dd0ac49230f5a5fa1a279210fdf0249c20f - bpf: Add bpf_compute_const_regs() and bpf_prune_dead_branches() passes

Fri, 03 Apr 2026 04:44:19 +0200

bpf: Add bpf_compute_const_regs() and bpf_prune_dead_branches() passesAdd two passes before the main verifier pass:bpf_compute_const_regs() is a forward dataflow analysis that tracksregister values in R0-R9 across the program using fixed-pointiteration in reverse postorder. Each register is tracked witha six-state lattice: UNVISITED -> CONST(val) / MAP_PTR(map_index) / MAP_VALUE(map_index, offset) / SUBPROG(num) -> UNKNOWNAt merge points, if two paths produce the same state and value fora register, it stays; otherwise it becomes UNKNOWN.The analysis handles: - MOV, ADD, SUB, AND with immediate or register operands - LD_IMM64 for plain constants, map FDs, map values, and subprogs - LDX from read-only maps: constant-folds the load by reading the map value directly via bpf_map_direct_read()Results that fit in 32 bits are stored per-instruction ininsn_aux_data and bitmasks.bpf_prune_dead_branches() uses the computed constants to evaluateconditional branches. When both operands of a conditional jump areknown constants, the branch outcome is determined statically and theinstruction is rewritten to an unconditional jump.The CFG postorder is then recomputed to reflect new control flow.This eliminates dead edges so that subsequent liveness analysisdoesn't propagate through dead code.Also add runtime sanity check to validate that precomputedconstants match the verifier's tracked state.Acked-by: Eduard Zingerman Link: https://lore.kernel.org/r/20260403024422.87231-5-alexei.starovoitov@gmail.comSigned-off-by: Alexei Starovoitov List of files: /linux/kernel/bpf/Makefile

42d3b66d4cdbacfc9d120d2301b8de89cc29a914 - Merge drm/drm-next into drm-xe-next

Thu, 12 Mar 2026 15:17:56 +0100

Merge drm/drm-next into drm-xe-nextBackmerging to bring in 7.00-rc3. Important ahead GPU SVM merging THPsupport.Signed-off-by: Matthew Brost List of files: /linux/kernel/bpf/Makefile

f09812b85fa6f41058bcc46e70ac406bf9b0493a - Merge drm/drm-next into drm-intel-next

Wed, 25 Feb 2026 12:23:04 +0100

Merge drm/drm-next into drm-intel-nextSync with v7.0-rc1 which contains a few treewide changes affecting i915.Signed-off-by: Jani Nikula List of files: /linux/kernel/bpf/Makefile

8b85987d3cf50178f67618122d9f3bb202f62f42 - Merge drm/drm-next into drm-misc-next

Mon, 23 Feb 2026 11:48:20 +0100

Merge drm/drm-next into drm-misc-nextLet's merge 7.0-rc1 to start the new drm-misc-next windowSigned-off-by: Maxime Ripard List of files: /linux/kernel/bpf/Makefile

c17ee635fd3a482b2ad2bf5e269755c2eae5f25e - Merge drm/drm-fixes into drm-misc-fixes

Mon, 23 Feb 2026 10:09:45 +0100

Merge drm/drm-fixes into drm-misc-fixes7.0-rc1 was just released, let's merge it to kick the new release cycle.Signed-off-by: Maxime Ripard List of files: /linux/kernel/bpf/Makefile

f17b474e36647c23801ef8fdaf2255ab66dd2973 - Merge tag 'bpf-next-7.0' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next

Tue, 10 Feb 2026 20:26:21 +0100

Merge tag 'bpf-next-7.0' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPull bpf updates from Alexei Starovoitov: - Support associating BPF program with struct_ops (Amery Hung) - Switch BPF local storage to rqspinlock and remove recursion detection counters which were causing false positives (Amery Hung) - Fix live registers marking for indirect jumps (Anton Protopopov) - Introduce execution context detection BPF helpers (Changwoo Min) - Improve verifier precision for 32bit sign extension pattern (Cupertino Miranda) - Optimize BTF type lookup by sorting vmlinux BTF and doing binary search (Donglin Peng) - Allow states pruning for misc/invalid slots in iterator loops (Eduard Zingerman) - In preparation for ASAN support in BPF arenas teach libbpf to move global BPF variables to the end of the region and enable arena kfuncs while holding locks (Emil Tsalapatis) - Introduce support for implicit arguments in kfuncs and migrate a number of them to new API. This is a prerequisite for cgroup sub-schedulers in sched-ext (Ihor Solodrai) - Fix incorrect copied_seq calculation in sockmap (Jiayuan Chen) - Fix ORC stack unwind from kprobe_multi (Jiri Olsa) - Speed up fentry attach by using single ftrace direct ops in BPF trampolines (Jiri Olsa) - Require frozen map for calculating map hash (KP Singh) - Fix lock entry creation in TAS fallback in rqspinlock (Kumar Kartikeya Dwivedi) - Allow user space to select cpu in lookup/update operations on per-cpu array and hash maps (Leon Hwang) - Make kfuncs return trusted pointers by default (Matt Bobrowski) - Introduce "fsession" support where single BPF program is executed upon entry and exit from traced kernel function (Menglong Dong) - Allow bpf_timer and bpf_wq use in all programs types (Mykyta Yatsenko, Andrii Nakryiko, Kumar Kartikeya Dwivedi, Alexei Starovoitov) - Make KF_TRUSTED_ARGS the default for all kfuncs and clean up their definition across the tree (Puranjay Mohan) - Allow BPF arena calls from non-sleepable context (Puranjay Mohan) - Improve register id comparison logic in the verifier and extend linked registers with negative offsets (Puranjay Mohan) - In preparation for BPF-OOM introduce kfuncs to access memcg events (Roman Gushchin) - Use CFI compatible destructor kfunc type (Sami Tolvanen) - Add bitwise tracking for BPF_END in the verifier (Tianci Cao) - Add range tracking for BPF_DIV and BPF_MOD in the verifier (Yazhou Tang) - Make BPF selftests work with 64k page size (Yonghong Song)* tag 'bpf-next-7.0' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next: (268 commits) selftests/bpf: Fix outdated test on storage->smap selftests/bpf: Choose another percpu variable in bpf for btf_dump test selftests/bpf: Remove test_task_storage_map_stress_lookup selftests/bpf: Update task_local_storage/task_storage_nodeadlock test selftests/bpf: Update task_local_storage/recursion test selftests/bpf: Update sk_storage_omem_uncharge test bpf: Switch to bpf_selem_unlink_nofail in bpf_local_storage_{map_free, destroy} bpf: Support lockless unlink when freeing map or local storage bpf: Prepare for bpf_selem_unlink_nofail() bpf: Remove unused percpu counter from bpf_local_storage_map_free bpf: Remove cgroup local storage percpu counter bpf: Remove task local storage percpu counter bpf: Change local_storage->lock and b->lock to rqspinlock bpf: Convert bpf_selem_unlink to failable bpf: Convert bpf_selem_link_map to failable bpf: Convert bpf_selem_unlink_map to failable bpf: Select bpf_local_storage_map_bucket based on bpf_local_storage selftests/xsk: fix number of Tx frags in invalid packet selftests/xsk: properly handle batch ending in the middle of a packet bpf: Prevent reentrance into call_rcu_tasks_trace() ... List of files: /linux/kernel/bpf/Makefile

cc4adab164b772a34b3340d644b7c4728498581e - Merge tag 'v6.19-rc1' into msm-next

Tue, 20 Jan 2026 23:06:55 +0100

Merge tag 'v6.19-rc1' into msm-nextMerge Linux 6.19-rc1 in order to catch up with other changes (e.g. UBWCconfig database defining UBWC_6).Signed-off-by: Dmitry Baryshkov List of files: /linux/kernel/bpf/Makefile

94e948b7e684c0465bb3faca8fafee5caf421b84 - bpf: annotate file argument as __nullable in bpf_lsm_mmap_file

Tue, 16 Dec 2025 14:29:59 +0100

bpf: annotate file argument as __nullable in bpf_lsm_mmap_fileAs reported in [0], anonymous memory mappings are not backed by astruct file instance. Consequently, the struct file pointer passed tothe security_mmap_file() LSM hook is NULL in such cases.The BPF verifier is currently unaware of this, allowing BPF LSMprograms to dereference this struct file pointer without needing toperform an explicit NULL check. This leads to potential NULL pointerdereference and a kernel crash.Add a strong override for bpf_lsm_mmap_file() which annotates thestruct file pointer parameter with the __nullable suffix. Thisexplicitly informs the BPF verifier that this pointer (PTR_MAYBE_NULL)can be NULL, forcing BPF LSM programs to perform a check on it beforedereferencing it.[0] https://lore.kernel.org/bpf/5e460d3c.4c3e9.19adde547d8.Coremail.kaiyanm@hust.edu.cn/Reported-by: Kaiyan Mei Reported-by: Yinhao Hu Reviewed-by: Dongliang Mu Closes: https://lore.kernel.org/bpf/5e460d3c.4c3e9.19adde547d8.Coremail.kaiyanm@hust.edu.cn/Signed-off-by: Matt Bobrowski Acked-by: Song Liu Link: https://lore.kernel.org/r/20251216133000.3690723-1-mattbobrowski@google.comSigned-off-by: Alexei Starovoitov List of files: /linux/kernel/bpf/Makefile

5add3c3c280a35f7e258e9cef7607db5a2e56fdc - Merge drm/drm-next into drm-xe-next

Fri, 19 Dec 2025 11:51:22 +0100

Merge drm/drm-next into drm-xe-nextBackmerging to bring in 6.19-rc1. An important upstream bugfix andto help unblock PTL CI.Signed-off-by: Thomas Hellström List of files: /linux/kernel/bpf/Makefile