DepSurf

Function: btf_check_func_arg_match

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: Absent ⚠️
• In 4.18: Absent ⚠️
• In 5.0: Absent ⚠️
• In 5.3: Absent ⚠️
• In 5.4: Absent ⚠️
• In 5.8: ✅

  int btf_check_func_arg_match(struct bpf_verifier_env *env, int subprog, struct bpf_reg_state *reg);
  

  Collision: Unique Global

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/btf.c (ffffffff81225650)
  Location: kernel/bpf/btf.c:4374
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:check_func_call
  

  Symbols:

  ffffffff81225650-ffffffff81225981: btf_check_func_arg_match (STB_GLOBAL)
  

• In 5.11: ✅

  int btf_check_func_arg_match(struct bpf_verifier_env *env, int subprog, struct bpf_reg_state *reg);
  

  Collision: Unique Global

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/btf.c (ffffffff8122bea0)
  Location: kernel/bpf/btf.c:5298
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:check_func_call
  

  Symbols:

  ffffffff8122bea0-ffffffff8122c288: btf_check_func_arg_match (STB_GLOBAL)
  

• In 5.13: ✅

  int btf_check_func_arg_match(struct bpf_verifier_env *env, const struct btf *btf, u32 func_id, struct bpf_reg_state *regs, bool ptr_to_mem_ok);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/btf.c (ffffffff812306a0)
  Location: kernel/bpf/btf.c:5384
  Inline: False
  Direct callers:
    - kernel/bpf/btf.c:btf_check_kfunc_arg_match
    - kernel/bpf/btf.c:btf_check_subprog_arg_match
  

  Symbols:

  ffffffff812306a0-ffffffff81230c92: btf_check_func_arg_match (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  int btf_check_func_arg_match(struct bpf_verifier_env *env, const struct btf *btf, u32 func_id, struct bpf_reg_state *regs, bool ptr_to_mem_ok);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/btf.c (0)
  Location: kernel/bpf/btf.c:5437
  Inline: False
  Direct callers:
    - kernel/bpf/btf.c:btf_check_kfunc_arg_match
    - kernel/bpf/btf.c:btf_check_subprog_arg_match
  

  Symbols:

  ffffffff81269420-ffffffff81269b69: btf_check_func_arg_match (STB_LOCAL)
  ffffffff81cb94f6-ffffffff81cb9519: btf_check_func_arg_match.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  int btf_check_func_arg_match(struct bpf_verifier_env *env, const struct btf *btf, u32 func_id, struct bpf_reg_state *regs, bool ptr_to_mem_ok);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/btf.c (0)
  Location: kernel/bpf/btf.c:6057
  Inline: False
  Direct callers:
    - kernel/bpf/btf.c:btf_check_kfunc_arg_match
    - kernel/bpf/btf.c:btf_check_subprog_arg_match
  

  Symbols:

  ffffffff812b8080-ffffffff812b8d33: btf_check_func_arg_match (STB_LOCAL)
  ffffffff81e6a995-ffffffff81e6a9b1: btf_check_func_arg_match.cold (STB_LOCAL)
  

• In 6.2: ✅

  int btf_check_func_arg_match(struct bpf_verifier_env *env, const struct btf *btf, u32 func_id, struct bpf_reg_state *regs, bool ptr_to_mem_ok, bool processing_call);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/btf.c (ffffffff81316440)
  Location: kernel/bpf/btf.c:6656
  Inline: False
  Direct callers:
    - kernel/bpf/btf.c:btf_check_subprog_call
    - kernel/bpf/btf.c:btf_check_subprog_arg_match
  

  Symbols:

  ffffffff81316440-ffffffff8131699e: btf_check_func_arg_match (STB_LOCAL)
  

• In 6.5: ✅

  int btf_check_func_arg_match(struct bpf_verifier_env *env, const struct btf *btf, u32 func_id, struct bpf_reg_state *regs, bool ptr_to_mem_ok, bool processing_call);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/btf.c (ffffffff81346310)
  Location: kernel/bpf/btf.c:6758
  Inline: False
  Direct callers:
    - kernel/bpf/btf.c:btf_check_subprog_call
    - kernel/bpf/btf.c:btf_check_subprog_arg_match
  

  Symbols:

  ffffffff81346310-ffffffff8134688a: btf_check_func_arg_match (STB_LOCAL)
  

• In 6.8: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff813355f0)
  Location: kernel/bpf/verifier.c:9254
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:btf_check_subprog_call
  

  Symbols:

  ffffffff813355f0-ffffffff81335814: btf_check_func_arg_match.isra.0 (STB_LOCAL)
  

Arch

• In arm64: Absent ⚠️
• In armhf: Absent ⚠️
• In ppc64el: Absent ⚠️
• In riscv64: Absent ⚠️

Flavor

• In aws: Absent ⚠️
• In azure: Absent ⚠️
• In gcp: Absent ⚠️
• In lowlatency: Absent ⚠️

Differences

Regular

• No changes between 5.8 and 5.11 ✅
• Changed between 5.11 and 5.13 ⚠️

  • Param added. const struct btf *btf
  • Param added. u32 func_id
  • Param added. struct bpf_reg_state *regs
  • Param added. bool ptr_to_mem_ok
  • Param removed. int subprog
  • Param removed. struct bpf_reg_state *reg
• No changes between 5.13 and 5.15 ✅
• No changes between 5.15 and 5.19 ✅
• Changed between 5.19 and 6.2 ⚠️

  • Param added. bool processing_call
• No changes between 6.2 and 6.5 ✅