Syzbot CI

Subject	bpf: Support stack arguments for BPF functions and kfuncs
Author	yonghong.song@linux.dev
Date	2026-05-07 21:29:48 +0000 UTC
Version
Cc	andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net jose.marchesi@oracle.com kernel-team@fb.com martin.lau@kernel.org puranjay@kernel.org yonghong.song@linux.dev

Subject

bpf: Support stack arguments for BPF functions and kfuncs

Author

yonghong.song@linux.dev

Date

2026-05-07 21:29:48 +0000 UTC

Version

andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net jose.marchesi@oracle.com kernel-team@fb.com martin.lau@kernel.org puranjay@kernel.org yonghong.song@linux.dev

Name	Content [All]
[PATCH bpf-next v2 01/23] bpf: Convert bpf_get_spilled_reg macro to static inline function	[Body]
[PATCH bpf-next v2 02/23] bpf: Remove copy_register_state wrapper function	[Body]
[PATCH bpf-next v2 03/23] bpf: Add helper functions for r11-based stack argument insns	[Body]
[PATCH bpf-next v2 04/23] bpf: Set sub->arg_cnt earlier in btf_prepare_func_args()	[Body]
[PATCH bpf-next v2 05/23] bpf: Support stack arguments for bpf functions	[Body]
[PATCH bpf-next v2 06/23] bpf: Refactor jmp history to use dedicated spi/frame fields	[Body]
[PATCH bpf-next v2 07/23] bpf: Add precision marking and backtracking for stack argument slots	[Body]
[PATCH bpf-next v2 08/23] bpf: Refactor record_call_access() to extract per-arg logic	[Body]
[PATCH bpf-next v2 09/23] bpf: Extend liveness analysis to track stack argument slots	[Body]
[PATCH bpf-next v2 10/23] bpf: Reject stack arguments in non-JITed programs	[Body]
[PATCH bpf-next v2 11/23] bpf: Prepare architecture JIT support for stack arguments	[Body]
[PATCH bpf-next v2 12/23] bpf: Enable r11 based insns	[Body]
[PATCH bpf-next v2 13/23] bpf: Support stack arguments for kfunc calls	[Body]
[PATCH bpf-next v2 14/23] bpf: Reject stack arguments if tail call reachable	[Body]
[PATCH bpf-next v2 15/23] bpf,x86: Implement JIT support for stack arguments	[Body]
[PATCH bpf-next v2 16/23] selftests/bpf: Add tests for BPF function stack arguments	[Body]
[PATCH bpf-next v2 17/23] selftests/bpf: Add tests for stack argument validation	[Body]
[PATCH bpf-next v2 18/23] selftests/bpf: Add BTF fixup for __naked subprog parameter names	[Body]
[PATCH bpf-next v2 19/23] selftests/bpf: Add verifier tests for stack argument validation	[Body]
[PATCH bpf-next v2 20/23] selftests/bpf: Add precision backtracking test for stack arguments	[Body]
[PATCH bpf-next v2 21/23] bpf, arm64: Map BPF_REG_0 to x8 instead of x7	[Body]
[PATCH bpf-next v2 22/23] bpf, arm64: Add JIT support for stack arguments	[Body]
[PATCH bpf-next v2 23/23] selftests/bpf: Enable stack argument tests for arm64	[Body]

Name

Content [All]

[PATCH bpf-next v2 01/23] bpf: Convert bpf_get_spilled_reg macro to static inline function

[PATCH bpf-next v2 02/23] bpf: Remove copy_register_state wrapper function

[PATCH bpf-next v2 03/23] bpf: Add helper functions for r11-based stack argument insns

[PATCH bpf-next v2 04/23] bpf: Set sub->arg_cnt earlier in btf_prepare_func_args()

[PATCH bpf-next v2 05/23] bpf: Support stack arguments for bpf functions

[PATCH bpf-next v2 06/23] bpf: Refactor jmp history to use dedicated spi/frame fields

[PATCH bpf-next v2 07/23] bpf: Add precision marking and backtracking for stack argument slots

[PATCH bpf-next v2 08/23] bpf: Refactor record_call_access() to extract per-arg logic

[PATCH bpf-next v2 09/23] bpf: Extend liveness analysis to track stack argument slots

[PATCH bpf-next v2 10/23] bpf: Reject stack arguments in non-JITed programs

[PATCH bpf-next v2 11/23] bpf: Prepare architecture JIT support for stack arguments

[PATCH bpf-next v2 12/23] bpf: Enable r11 based insns

[PATCH bpf-next v2 13/23] bpf: Support stack arguments for kfunc calls

[PATCH bpf-next v2 14/23] bpf: Reject stack arguments if tail call reachable

[PATCH bpf-next v2 15/23] bpf,x86: Implement JIT support for stack arguments

[PATCH bpf-next v2 16/23] selftests/bpf: Add tests for BPF function stack arguments

[PATCH bpf-next v2 17/23] selftests/bpf: Add tests for stack argument validation

[PATCH bpf-next v2 18/23] selftests/bpf: Add BTF fixup for __naked subprog parameter names

[PATCH bpf-next v2 19/23] selftests/bpf: Add verifier tests for stack argument validation

[PATCH bpf-next v2 20/23] selftests/bpf: Add precision backtracking test for stack arguments

[PATCH bpf-next v2 21/23] bpf, arm64: Map BPF_REG_0 to x8 instead of x7

[PATCH bpf-next v2 22/23] bpf, arm64: Add JIT support for stack arguments

[PATCH bpf-next v2 23/23] selftests/bpf: Enable stack argument tests for arm64

Session 2026-05-07

Passed

ID (for dev)	b65c1798-e618-4dd3-a1be-46df9d6bb767
Status	finished
Triaged	OK [Log]
Execution Log	[Link]

Test	Base	Patched	Verdict
[KASAN] Build Base	2ca6723a5f7b68c739dba47b2639e3eaa7884b09 [Config]		passed [Log]
[KASAN] Boot test: Base	2ca6723a5f7b68c739dba47b2639e3eaa7884b09 [Config]		passed [Log]
[KASAN] Build Patched		2ca6723a5f7b68c739dba47b2639e3eaa7884b09 [Config] [patched]	passed [Log]
[KASAN] Boot test: Patched		2ca6723a5f7b68c739dba47b2639e3eaa7884b09 [Config] [patched]	passed [Log]
[KASAN] Fuzz	2ca6723a5f7b68c739dba47b2639e3eaa7884b09 [Config]	2ca6723a5f7b68c739dba47b2639e3eaa7884b09 [Config] [patched]	passed [Log] [Artifacts]

Patches (23)

Series Summary

Sessions

Session 2026-05-07