DepSurf

Function: check_func_arg

Status

Regular

• In 4.4: ✅

  int check_func_arg(struct verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_map **mapp);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81173cb0)
  Location: kernel/bpf/verifier.c:809
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff81173cb0-ffffffff81173e7e: check_func_arg (STB_LOCAL)
  

• In 4.8: ✅

  int check_func_arg(struct verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81181fa0)
  Location: kernel/bpf/verifier.c:929
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff81181fa0-ffffffff811821e5: check_func_arg (STB_LOCAL)
  

• In 4.10: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8118e670)
  Location: kernel/bpf/verifier.c:961
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff8118e670-ffffffff8118e966: check_func_arg (STB_LOCAL)
  

• In 4.13: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81195700)
  Location: kernel/bpf/verifier.c:1089
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff81195700-ffffffff81195a5c: check_func_arg (STB_LOCAL)
  

• In 4.15: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a3770)
  Location: kernel/bpf/verifier.c:1386
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff811a3770-ffffffff811a3ae5: check_func_arg (STB_LOCAL)
  

• In 4.18: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811baa70)
  Location: kernel/bpf/verifier.c:1949
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811baa70-ffffffff811badfd: check_func_arg (STB_LOCAL)
  

• In 5.0: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ca650)
  Location: kernel/bpf/verifier.c:2211
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811ca650-ffffffff811caa78: check_func_arg (STB_LOCAL)
  

• In 5.3: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ddd80)
  Location: kernel/bpf/verifier.c:3225
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811ddd80-ffffffff811de307: check_func_arg (STB_LOCAL)
  

• In 5.4: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ea540)
  Location: kernel/bpf/verifier.c:3226
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811ea540-ffffffff811eaac7: check_func_arg (STB_LOCAL)
  

• In 5.8: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81210f10)
  Location: kernel/bpf/verifier.c:3737
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff81210f10-ffffffff8121162e: check_func_arg (STB_LOCAL)
  

• In 5.11: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 arg, struct bpf_call_arg_meta *meta, const struct bpf_func_proto *fn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81211c30)
  Location: kernel/bpf/verifier.c:4148
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff81211c30-ffffffff812121d4: check_func_arg (STB_LOCAL)
  

• In 5.13: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 arg, struct bpf_call_arg_meta *meta, const struct bpf_func_proto *fn);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81213bb0)
  Location: kernel/bpf/verifier.c:4858
  Inline: False
  

  Symbols:

  ffffffff81213bb0-ffffffff812142fb: check_func_arg (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  int check_func_arg(struct bpf_verifier_env *env, u32 arg, struct bpf_call_arg_meta *meta, const struct bpf_func_proto *fn);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:5022
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff81249b60-ffffffff8124a596: check_func_arg (STB_LOCAL)
  ffffffff81cb8daa-ffffffff81cb8dc7: check_func_arg.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  int check_func_arg(struct bpf_verifier_env *env, u32 arg, struct bpf_call_arg_meta *meta, const struct bpf_func_proto *fn);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:5842
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff81290790-ffffffff81291587: check_func_arg (STB_LOCAL)
  ffffffff81e6a0a0-ffffffff81e6a0da: check_func_arg.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  int check_func_arg(struct bpf_verifier_env *env, u32 arg, struct bpf_call_arg_meta *meta, const struct bpf_func_proto *fn);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:6563
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff812eb0a0-ffffffff812ebc56: check_func_arg (STB_LOCAL)
  ffffffff820610da-ffffffff8206110c: check_func_arg.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  int check_func_arg(struct bpf_verifier_env *env, u32 arg, struct bpf_call_arg_meta *meta, const struct bpf_func_proto *fn, int insn_idx);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:7923
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff81317900-ffffffff813184de: check_func_arg (STB_LOCAL)
  ffffffff820e053b-ffffffff820e056d: check_func_arg.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  int check_func_arg(struct bpf_verifier_env *env, u32 arg, struct bpf_call_arg_meta *meta, const struct bpf_func_proto *fn, int insn_idx);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:8475
  Inline: False
  

  Symbols:

  ffffffff81334b00-ffffffff813355d4: check_func_arg (STB_LOCAL)
  ffffffff821bc6ec-ffffffff821bc701: check_func_arg.cold (STB_LOCAL)
  

Arch

• In arm64: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff80001026dca0)
  Location: kernel/bpf/verifier.c:3226
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffff80001026dca0-ffff80001026e268: check_func_arg (STB_LOCAL)
  

• In armhf: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a0428)
  Location: kernel/bpf/verifier.c:3226
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  c04a0428-c04a0a14: check_func_arg (STB_LOCAL)
  

• In ppc64el: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c000000000314730)
  Location: kernel/bpf/verifier.c:3226
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  c000000000314730-c000000000314e60: check_func_arg (STB_LOCAL)
  

• In riscv64: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a7c3e)
  Location: kernel/bpf/verifier.c:3226
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffe0001a7c3e-ffffffe0001a80d8: check_func_arg (STB_LOCAL)
  

Flavor

• In aws: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e2b60)
  Location: kernel/bpf/verifier.c:3226
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811e2b60-ffffffff811e30e7: check_func_arg (STB_LOCAL)
  

• In azure: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d5920)
  Location: kernel/bpf/verifier.c:3226
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811d5920-ffffffff811d5ea7: check_func_arg (STB_LOCAL)
  

• In gcp: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e0930)
  Location: kernel/bpf/verifier.c:3226
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811e0930-ffffffff811e0eb7: check_func_arg (STB_LOCAL)
  

• In lowlatency: ✅

  int check_func_arg(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, struct bpf_call_arg_meta *meta);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811eed40)
  Location: kernel/bpf/verifier.c:3226
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811eed40-ffffffff811ef2c7: check_func_arg (STB_LOCAL)
  

Differences

Regular

• Changed between 4.4 and 4.8 ⚠️

  • Param added. struct bpf_call_arg_meta *meta
  • Param removed. struct bpf_map **mapp
• Changed between 4.8 and 4.10 ⚠️

  • Param type changed. struct verifier_env *env ➡️ struct bpf_verifier_env *env
• No changes between 4.10 and 4.13 ✅
• No changes between 4.13 and 4.15 ✅
• No changes between 4.15 and 4.18 ✅
• No changes between 4.18 and 5.0 ✅
• No changes between 5.0 and 5.3 ✅
• No changes between 5.3 and 5.4 ✅
• No changes between 5.4 and 5.8 ✅
• Changed between 5.8 and 5.11 ⚠️

  • Param added. u32 arg
  • Param added. const struct bpf_func_proto *fn
  • Param removed. u32 regno
  • Param removed. enum bpf_arg_type arg_type
  • Param reordered. env, regno, arg_type, meta ➡️ env, arg, meta, fn
• No changes between 5.11 and 5.13 ✅
• No changes between 5.13 and 5.15 ✅
• No changes between 5.15 and 5.19 ✅
• No changes between 5.19 and 6.2 ✅
• Changed between 6.2 and 6.5 ⚠️

  • Param added. int insn_idx
• No changes between 6.5 and 6.8 ✅

Arch

• No changes between amd64 and arm64 ✅
• No changes between amd64 and armhf ✅
• No changes between amd64 and ppc64el ✅
• No changes between amd64 and riscv64 ✅

Flavor

• No changes between generic and aws ✅
• No changes between generic and azure ✅
• No changes between generic and gcp ✅
• No changes between generic and lowlatency ✅