From: Puranjay Mohan <puranjay@kernel.org>
To: Alexei Starovoitov <ast@kernel.org>,
Daniel Borkmann <daniel@iogearbox.net>,
Andrii Nakryiko <andrii@kernel.org>,
Martin KaFai Lau <martin.lau@linux.dev>,
Eduard Zingerman <eddyz87@gmail.com>, Song Liu <song@kernel.org>,
Yonghong Song <yonghong.song@linux.dev>,
John Fastabend <john.fastabend@gmail.com>,
KP Singh <kpsingh@kernel.org>,
Stanislav Fomichev <sdf@fomichev.me>, Hao Luo <haoluo@google.com>,
Jiri Olsa <jolsa@kernel.org>,
Puranjay Mohan <puranjay@kernel.org>,
Xu Kuohai <xukuohai@huaweicloud.com>,
Catalin Marinas <catalin.marinas@arm.com>,
Will Deacon <will@kernel.org>,
bpf@vger.kernel.org
Subject: [PATCH bpf-next 0/1] bpf, arm64: fix fp initialization for exception boundary
Date: Tue, 22 Jul 2025 13:34:08 +0000 [thread overview]
Message-ID: <20250722133410.54161-1-puranjay@kernel.org> (raw)
In the ARM64 BPF JIT when prog->aux->exception_boundary is set for a BPF
program, find_used_callee_regs() is not called because for a program acting
as exception boundary, all callee saved registers are saved.
find_used_callee_regs() sets `ctx->fp_used = true;` when it sees FP being
used in any of the instructions.
For programs acting as exception boundary, ctx->fp_used always remains
false and therefore, BPF frame pointer is never set-up for such programs in
the prologue.
This can cause crashes like:
With the following BPF program loaded and attached:
static __noinline int static_func(u64 i)
{
bpf_throw(0);
return i;
}
SEC("fentry/do_unlinkat")
int BPF_PROG(do_unlinkat, int dfd, struct filename *name)
{
volatile u64 a[2] = {0};
a[1] = __sync_fetch_and_add(&a[0], 1);
static_func(23);
return 0;
}
Triggering it causes a page fault because the FP register is not
initialised.
[root@localhost ~]# touch test
[root@localhost ~]# rm test
Unable to handle kernel paging request at virtual address fffffffffffffff0
Mem abort info:
ESR = 0x0000000096000006
EC = 0x25: DABT (current EL), IL = 32 bits
SET = 0, FnV = 0
EA = 0, S1PTW = 0
FSC = 0x06: level 2 translation fault
Data abort info:
ISV = 0, ISS = 0x00000006, ISS2 = 0x00000000
CM = 0, WnR = 0, TnD = 0, TagAccess = 0
GCS = 0, Overlay = 0, DirtyBit = 0, Xs = 0
swapper pgtable: 4k pages, 48-bit VAs, pgdp=0000000043783000
[fffffffffffffff0] pgd=0000000000000000, p4d=00000000450a0403, pud=00000000450a1403, pmd=0000000000000000
Internal error: Oops: 0000000096000006 [#1] SMP
Modules linked in:
CPU: 12 UID: 0 PID: 487 Comm: rm Not tainted 6.16.0-rc6-00212-g7abc678e3084 #7 PREEMPT
Hardware name: linux,dummy-virt (DT)
pstate: 60400005 (nZCv daif +PAN -UAO -TCO -DIT -SSBS BTYPE=--)
pc : bpf_prog_5148f2d6554f3ab3_do_unlinkat+0x48/0x90
lr : bpf_trampoline_6442562433+0x68/0x168
sp : ffff80008c8b3d10
x29: ffff80008c8b3d80 x28: ffff0000d66d0000 x27: 0000000000000000
x26: ffff80008c8b3d70 x25: 0000000000000000 x24: 0000000000000000
x23: 0000000060001000 x22: 0000ffffaea95b0c x21: 00000000ffffffff
x20: 0000000000000001 x19: ffff80008c1bd000 x18: 0000000000000000
x17: 0000000000000000 x16: 0000000000000000 x15: 0000000000000000
x14: 0000000000000000 x13: 0000000000020000 x12: 0000000000000015
x11: 0000000000000000 x10: fffffffffffffff0 x9 : ffff8000871d65e8
x8 : ffff800084eb1d30 x7 : 0000000000000000 x6 : 0000000000000001
x5 : 00000000c3affd79 x4 : 000000001055937d x3 : ffff801809627000
x2 : ffff0000d66d0000 x1 : 0000000100000000 x0 : 0000000000000001
Call trace:
bpf_prog_5148f2d6554f3ab3_do_unlinkat+0x48/0x90 (P)
bpf_trampoline_6442562433+0x68/0x168
do_unlinkat+0x8/0x290
__arm64_sys_unlinkat+0x44/0x90
invoke_syscall+0x50/0x120
el0_svc_common.constprop.0+0xc8/0xf0
do_el0_svc+0x24/0x38
el0_svc+0x48/0xf0
el0t_64_sync_handler+0xc8/0xd0
el0t_64_sync+0x198/0x1a0
Code: f90007e0 f90003e0 d2800020 d100432a (f8e00140)
---[ end trace 0000000000000000 ]---
Kernel panic - not syncing: Oops: Fatal exception
SMP: stopping secondary CPUs
Kernel Offset: disabled
CPU features: 0x2000,000081c0,02004ca1,04407a0b
Memory Limit: none
---[ end Kernel panic - not syncing: Oops: Fatal exception ]---
Please take it into the bpf tree if needed, I sent it to bpf-next as
this bug is multiple months old.
Puranjay Mohan (1):
bpf, arm64: fix fp initialization for exception boundary
arch/arm64/net/bpf_jit_comp.c | 1 +
1 file changed, 1 insertion(+)
--
2.47.1
next reply other threads:[~2025-07-22 13:34 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-07-22 13:34 Puranjay Mohan [this message]
2025-07-22 13:34 ` [PATCH bpf-next 1/1] bpf, arm64: fix fp initialization for exception boundary Puranjay Mohan
2025-07-23 7:46 ` Xu Kuohai
2025-07-26 19:30 ` [PATCH bpf-next 0/1] " patchwork-bot+netdevbpf
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20250722133410.54161-1-puranjay@kernel.org \
--to=puranjay@kernel.org \
--cc=andrii@kernel.org \
--cc=ast@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=catalin.marinas@arm.com \
--cc=daniel@iogearbox.net \
--cc=eddyz87@gmail.com \
--cc=haoluo@google.com \
--cc=john.fastabend@gmail.com \
--cc=jolsa@kernel.org \
--cc=kpsingh@kernel.org \
--cc=martin.lau@linux.dev \
--cc=sdf@fomichev.me \
--cc=song@kernel.org \
--cc=will@kernel.org \
--cc=xukuohai@huaweicloud.com \
--cc=yonghong.song@linux.dev \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox