DepSurf

Function: check_return_code

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a672f)
  Location: kernel/bpf/verifier.c:3218
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bc925)
  Location: kernel/bpf/verifier.c:4034
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cdd96)
  Location: kernel/bpf/verifier.c:4746
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e3bc8)
  Location: kernel/bpf/verifier.c:6101
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f0427)
  Location: kernel/bpf/verifier.c:6116
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In 5.8: ✅

  int check_return_code(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff81209bc0-ffffffff81209f5c: check_return_code (STB_LOCAL)
  

• In 5.11: ✅

  int check_return_code(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff8120b320-ffffffff8120b718: check_return_code (STB_LOCAL)
  

• In 5.13: ✅

  int check_return_code(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff8120ffe0-ffffffff8121037e: check_return_code (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  int check_return_code(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff812446e0-ffffffff81244bdd: check_return_code (STB_LOCAL)
  ffffffff81cb88db-ffffffff81cb8925: check_return_code.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  int check_return_code(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8128a200-ffffffff8128a6a6: check_return_code (STB_LOCAL)
  ffffffff81e69b98-ffffffff81e69bd2: check_return_code.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  int check_return_code(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff812e2660-ffffffff812e2bc8: check_return_code (STB_LOCAL)
  ffffffff820609ed-ffffffff82060a37: check_return_code.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  int check_return_code(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff81309000-ffffffff81309564: check_return_code (STB_LOCAL)
  ffffffff820df781-ffffffff820df7cb: check_return_code.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  int check_return_code(struct bpf_verifier_env *env, int regno, const char *reg_name);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:15192
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_kfunc_call
  

  Symbols:

  ffffffff8132c7e0-ffffffff8132cd8a: check_return_code (STB_LOCAL)
  ffffffff821bc137-ffffffff821bc1f3: check_return_code.cold (STB_LOCAL)
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010273b64)
  Location: kernel/bpf/verifier.c:6116
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a6260)
  Location: kernel/bpf/verifier.c:6116
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000031b6b0)
  Location: kernel/bpf/verifier.c:6116
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In riscv64: ✅

  int check_return_code(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffe0001a80d8-ffffffe0001a82d0: check_return_code (STB_LOCAL)
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e8a47)
  Location: kernel/bpf/verifier.c:6116
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811db807)
  Location: kernel/bpf/verifier.c:6116
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e6817)
  Location: kernel/bpf/verifier.c:6116
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f4bd5)
  Location: kernel/bpf/verifier.c:6116
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
  

Differences

Regular

• No changes between 5.8 and 5.11 ✅
• 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 ✅
• No changes between 6.2 and 6.5 ✅
• Changed between 6.5 and 6.8 ⚠️

  • Param added. int regno
  • Param added. const char *reg_name

Arch