DepSurf

Function: do_check

Status

Regular

• In 4.4: ✅

  int do_check(struct verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81174560)
  Location: kernel/bpf/verifier.c:1694
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff81174560-ffffffff81176058: do_check (STB_LOCAL)
  

• In 4.8: ✅

  int do_check(struct verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81182b70)
  Location: kernel/bpf/verifier.c:2221
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff81182b70-ffffffff81184bdb: do_check (STB_LOCAL)
  

• In 4.10: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8118f590)
  Location: kernel/bpf/verifier.c:2639
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_analyzer
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff8118f590-ffffffff81191e08: do_check (STB_LOCAL)
  

• In 4.13: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81195b00)
  Location: kernel/bpf/verifier.c:3058
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_analyzer
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff81195b00-ffffffff81198bb3: do_check (STB_LOCAL)
  

• In 4.15: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a61b0)
  Location: kernel/bpf/verifier.c:3842
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff811a61b0-ffffffff811a7f81: do_check (STB_LOCAL)
  

• In 4.18: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bc1f0)
  Location: kernel/bpf/verifier.c:4690
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff811bc1f0-ffffffff811bdf72: do_check (STB_LOCAL)
  

• In 5.0: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cd4e0)
  Location: kernel/bpf/verifier.c:5843
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff811cd4e0-ffffffff811cf60f: do_check (STB_LOCAL)
  

• In 5.3: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff811e2b60-ffffffff811e410d: do_check (STB_LOCAL)
  

• In 5.4: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ef3e0)
  Location: kernel/bpf/verifier.c:7480
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff811ef3e0-ffffffff811f0951: do_check (STB_LOCAL)
  

• In 5.8: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81212280)
  Location: kernel/bpf/verifier.c:8615
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
  

  Symbols:

  ffffffff81212280-ffffffff81212b9c: do_check (STB_LOCAL)
  

• In 5.11: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81212fc0)
  Location: kernel/bpf/verifier.c:9403
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
  

  Symbols:

  ffffffff81212fc0-ffffffff81213908: do_check (STB_LOCAL)
  

• In 5.13: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81215470)
  Location: kernel/bpf/verifier.c:10567
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:do_check_common
  

  Symbols:

  ffffffff81215470-ffffffff81215e44: do_check (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8124ba50-ffffffff8124c552: do_check (STB_LOCAL)
  ffffffff81cb8e50-ffffffff81cb8efe: do_check.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff81292bf0-ffffffff812937a9: do_check (STB_LOCAL)
  ffffffff81e6a110-ffffffff81e6a1bf: do_check.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff812ed620-ffffffff812ee1ea: do_check (STB_LOCAL)
  ffffffff820611cf-ffffffff820612b3: do_check.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff81319f70-ffffffff8131aaba: do_check (STB_LOCAL)
  ffffffff820e0651-ffffffff820e0734: do_check.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8133b8f0-ffffffff8133c616: do_check (STB_LOCAL)
  ffffffff821bcceb-ffffffff821bcdc6: do_check.cold (STB_LOCAL)
  

Arch

• In arm64: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010272bf0)
  Location: kernel/bpf/verifier.c:7480
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffff800010272bf0-ffff80001027411c: do_check (STB_LOCAL)
  

• In armhf: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a5294)
  Location: kernel/bpf/verifier.c:7480
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  c04a5294-c04a6794: do_check (STB_LOCAL)
  

• In ppc64el: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000031a4f0)
  Location: kernel/bpf/verifier.c:7480
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  c00000000031a4f0-c00000000031bd0c: do_check (STB_LOCAL)
  

• In riscv64: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001ab9f8)
  Location: kernel/bpf/verifier.c:7480
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffe0001ab9f8-ffffffe0001aca9e: do_check (STB_LOCAL)
  

Flavor

• In aws: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7a00)
  Location: kernel/bpf/verifier.c:7480
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff811e7a00-ffffffff811e8f71: do_check (STB_LOCAL)
  

• In azure: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811da7c0)
  Location: kernel/bpf/verifier.c:7480
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff811da7c0-ffffffff811dbd31: do_check (STB_LOCAL)
  

• In gcp: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e57d0)
  Location: kernel/bpf/verifier.c:7480
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff811e57d0-ffffffff811e6d41: do_check (STB_LOCAL)
  

• In lowlatency: ✅

  int do_check(struct bpf_verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f3ba0)
  Location: kernel/bpf/verifier.c:7480
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:bpf_check
  

  Symbols:

  ffffffff811f3ba0-ffffffff811f50ff: do_check (STB_LOCAL)
  

Differences

Regular

• No changes between 4.4 and 4.8 ✅
• 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 ✅
• 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 ✅
• 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 ✅