Syzbot CI

Subject	bpf: Support stack arguments for BPF functions and kfuncs
Author	yonghong.song@linux.dev
Date	2026-05-13 04:49:54 +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-13 04:49:54 +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 v4 01/25] bpf: Convert bpf_get_spilled_reg macro to static inline function	[Body]
[PATCH bpf-next v4 02/25] bpf: Remove copy_register_state wrapper function	[Body]
[PATCH bpf-next v4 03/25] bpf: Add helper functions for r11-based stack argument insns	[Body]
[PATCH bpf-next v4 04/25] bpf: Set sub->arg_cnt earlier in btf_prepare_func_args()	[Body]
[PATCH bpf-next v4 05/25] bpf: Support stack arguments for bpf functions	[Body]
[PATCH bpf-next v4 06/25] bpf: Refactor jmp history to use dedicated spi/frame fields	[Body]
[PATCH bpf-next v4 07/25] bpf: Add precision marking and backtracking for stack argument slots	[Body]
[PATCH bpf-next v4 08/25] bpf: Refactor record_call_access() to extract per-arg logic	[Body]
[PATCH bpf-next v4 09/25] bpf: Use arg_is_fp() in has_fp_args()	[Body]
[PATCH bpf-next v4 10/25] bpf: Extend liveness analysis to track stack argument slots	[Body]
[PATCH bpf-next v4 11/25] bpf: Reject stack arguments in non-JITed programs	[Body]
[PATCH bpf-next v4 12/25] bpf: Prepare architecture JIT support for stack arguments	[Body]
[PATCH bpf-next v4 13/25] bpf: Enable r11 based insns	[Body]
[PATCH bpf-next v4 14/25] bpf: Support stack arguments for kfunc calls	[Body]
[PATCH bpf-next v4 15/25] bpf: Reject stack arguments if tail call reachable	[Body]
[PATCH bpf-next v4 16/25] bpf: Disable private stack for x86_64 if stack arguments used	[Body]
[PATCH bpf-next v4 17/25] bpf,x86: Implement JIT support for stack arguments	[Body]
[PATCH bpf-next v4 18/25] selftests/bpf: Add tests for BPF function stack arguments	[Body]
[PATCH bpf-next v4 19/25] selftests/bpf: Add tests for stack argument validation	[Body]
[PATCH bpf-next v4 20/25] selftests/bpf: Add BTF fixup for __naked subprog parameter names	[Body]
[PATCH bpf-next v4 21/25] selftests/bpf: Add verifier tests for stack argument validation	[Body]
[PATCH bpf-next v4 22/25] selftests/bpf: Add precision backtracking test for stack arguments	[Body]
[PATCH bpf-next v4 23/25] bpf, arm64: Map BPF_REG_0 to x8 instead of x7	[Body]
[PATCH bpf-next v4 24/25] bpf, arm64: Add JIT support for stack arguments	[Body]
[PATCH bpf-next v4 25/25] selftests/bpf: Enable stack argument tests for arm64	[Body]

Name

Content [All]

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

[PATCH bpf-next v4 02/25] bpf: Remove copy_register_state wrapper function

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

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

[PATCH bpf-next v4 05/25] bpf: Support stack arguments for bpf functions

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

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

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

[PATCH bpf-next v4 09/25] bpf: Use arg_is_fp() in has_fp_args()

[PATCH bpf-next v4 10/25] bpf: Extend liveness analysis to track stack argument slots

[PATCH bpf-next v4 11/25] bpf: Reject stack arguments in non-JITed programs

[PATCH bpf-next v4 12/25] bpf: Prepare architecture JIT support for stack arguments

[PATCH bpf-next v4 13/25] bpf: Enable r11 based insns

[PATCH bpf-next v4 14/25] bpf: Support stack arguments for kfunc calls

[PATCH bpf-next v4 15/25] bpf: Reject stack arguments if tail call reachable

[PATCH bpf-next v4 16/25] bpf: Disable private stack for x86_64 if stack arguments used

[PATCH bpf-next v4 17/25] bpf,x86: Implement JIT support for stack arguments

[PATCH bpf-next v4 18/25] selftests/bpf: Add tests for BPF function stack arguments

[PATCH bpf-next v4 19/25] selftests/bpf: Add tests for stack argument validation

[PATCH bpf-next v4 20/25] selftests/bpf: Add BTF fixup for __naked subprog parameter names

[PATCH bpf-next v4 21/25] selftests/bpf: Add verifier tests for stack argument validation

[PATCH bpf-next v4 22/25] selftests/bpf: Add precision backtracking test for stack arguments

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

[PATCH bpf-next v4 24/25] bpf, arm64: Add JIT support for stack arguments

[PATCH bpf-next v4 25/25] selftests/bpf: Enable stack argument tests for arm64

Session 2026-05-13

Passed

ID (for dev)	1f00004d-e133-4c65-9d7c-de06b2583c85
Status	finished
Triaged	OK [Log]
Execution Log	[Link]

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

Patches (25)

Series Summary

Sessions

Session 2026-05-13