Merge branch 'unify-subprog-argument-checks'

Amery Hung says:

====================
Unify subprog argument checks

Helper and kfunc calls now validate arguments through check_func_args(),
while subprog calls still duplicate much of the same validation in
btf_check_func_arg_match(). This makes common argument rules and
diagnostics easy to change for one call kind without updating the other.

This series builds a temporary helper-style argument prototype from the
subprog's cached BTF metadata, then moves each supported argument class to
the common checker. The last patch removes the duplicate loop.

The series is organized as follows:

- Patch 1 fixes kfunc BTF parameter lookups after wide arguments.
- Patches 2-3 identify subprog calls in common metadata and generate the
  temporary argument prototype.
- Patches 4-9 move scalar, untrusted, context, arena, dynptr, and BTF-ID
  arguments to the common path.
- Patch 10 moves global subprog memory arguments and their packet-change
  check to the common path.
- Patch 11 removes the legacy loop and checks all subprog arguments through
  check_func_args().

This follows the helper/kfunc argument-checking consolidation:
https://lore.kernel.org/bpf/20260911220415.1396439-1-ameryhung@gmail.com/

v2 -> v3:
  - Remove the redundant dynptr register-type check from
    process_dynptr_func() after all callers begin using check_func_arg()
    (Sashiko)
  Link: https://lore.kernel.org/bpf/20260928181414.644158-1-ameryhung@gmail.com/

v1 -> v2:
  - Extend patch 1 to fix the release and iterator BTF parameter lookups
    after wide arguments (Alexei)
  - Keep subprog call metadata local to argument checking, leaving callers
    and helper/kfunc handling unchanged (Alexei)
  Link: https://lore.kernel.org/bpf/20260925211256.1834061-1-ameryhung@gmail.com/
====================

Link: https://patch.msgid.link/20260928185334.1004200-1-ameryhung@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

0 files changed, 0 insertions, 0 deletions