This patch set introduces two enhancements aimed at improving tailcall handling in the x64 JIT: 1. Tailcall info is propagated to a subprog only if the subprog is tail_call_reachable. 2. Tailcall info is propagated through the trampoline only when the target is a subprog and it is tail_call_reachable. Leon Hwang (2): bpf, x64: Propagate tailcall info only for tail_call_reachable subprogs bpf, verifier: Check trampoline attach target is tail_call_reachable subprog arch/x86/net/bpf_jit_comp.c | 4 +++- include/linux/bpf.h | 1 + kernel/bpf/verifier.c | 10 +++++++++- 3 files changed, 13 insertions(+), 2 deletions(-) -- 2.44.0