On Mon, Oct 23, 2023 at 6:50 AM Chuyi Zhou <zhouchuyi@xxxxxxxxxxxxx> wrote: > > > R1_w=ptr_task_struct(off=0,imm=0) R7_w=ptr_task_struct(off=0,imm=0) > 18: (85) call bpf_task_acquire#26990 > R1 must be a rcu pointer > > I will try to figure out it. Thanks. That would be great. So far it looks like a regression. I'm guessing __bpf_md_ptr wrapping is confusing the verifier. Since it's more complicated than I thought, please respin the current set with fixes to patch 1 and leave the patch 2 as-is. That can be another follow up.