DepSurf

Function: mark_reg_not_init

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811945b0)
  Location: kernel/bpf/verifier.c:466
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff811945b0-ffffffff81194610: mark_reg_not_init (STB_LOCAL)
  

• In 4.15: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a34b0)
  Location: kernel/bpf/verifier.c:585
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff811a34b0-ffffffff811a359c: mark_reg_not_init (STB_LOCAL)
  

• In 4.18: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b7cc0)
  Location: kernel/bpf/verifier.c:713
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff811b7cc0-ffffffff811b7db6: mark_reg_not_init (STB_LOCAL)
  

• In 5.0: Selective Inline, Transformation ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c6900)
  Location: kernel/bpf/verifier.c:964
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff811c6900-ffffffff811c6933: mark_reg_not_init.part.46 (STB_LOCAL)
  ffffffff811c7180-ffffffff811c71ca: mark_reg_not_init (STB_LOCAL)
  

• In 5.3: Selective Inline, Transformation ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e547d)
  Location: kernel/bpf/verifier.c:1027
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff811d9f70-ffffffff811d9fb1: mark_reg_not_init (STB_LOCAL)
  ffffffff811e5450-ffffffff811e549a: mark_reg_not_init.cold (STB_LOCAL)
  

• In 5.4: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e6670)
  Location: kernel/bpf/verifier.c:1028
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff811e6670-ffffffff811e66f6: mark_reg_not_init (STB_LOCAL)
  

• In 5.8: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81206950)
  Location: kernel/bpf/verifier.c:1340
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff81206950-ffffffff812069c5: mark_reg_not_init (STB_LOCAL)
  

• In 5.11: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81206720)
  Location: kernel/bpf/verifier.c:1370
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff81206720-ffffffff81206795: mark_reg_not_init (STB_LOCAL)
  

• In 5.13: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81208680)
  Location: kernel/bpf/verifier.c:1462
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff81208680-ffffffff812086f5: mark_reg_not_init (STB_LOCAL)
  

• In 5.15: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8123c080)
  Location: kernel/bpf/verifier.c:1482
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff8123c080-ffffffff8123c0f5: mark_reg_not_init (STB_LOCAL)
  

• In 5.19: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81281bd0)
  Location: kernel/bpf/verifier.c:1685
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff81281bd0-ffffffff81281c4c: mark_reg_not_init (STB_LOCAL)
  

• In 6.2: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d9930)
  Location: kernel/bpf/verifier.c:1899
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff812d9930-ffffffff812d99ac: mark_reg_not_init (STB_LOCAL)
  

• In 6.5: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812fae10)
  Location: kernel/bpf/verifier.c:2298
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff812fae10-ffffffff812fae8c: mark_reg_not_init (STB_LOCAL)
  

• In 6.8: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8131a5c0)
  Location: kernel/bpf/verifier.c:2304
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff8131a5c0-ffffffff8131a63c: mark_reg_not_init (STB_LOCAL)
  

Arch

• In arm64: Selective Inline, Transformation ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffff8000102680a0)
  Location: kernel/bpf/verifier.c:1028
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffff8000102680a0-ffff8000102680fc: mark_reg_not_init.part.0 (STB_LOCAL)
  ffff800010269e38-ffff800010269ec8: mark_reg_not_init (STB_LOCAL)
  

• In armhf: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049be8c)
  Location: kernel/bpf/verifier.c:1028
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  c049be8c-c049bf20: mark_reg_not_init (STB_LOCAL)
  

• In ppc64el: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030f950)
  Location: kernel/bpf/verifier.c:1028
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  c00000000030f950-c00000000030fa18: mark_reg_not_init (STB_LOCAL)
  

• In riscv64: Selective Inline, Transformation ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a33e8)
  Location: kernel/bpf/verifier.c:1028
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffe0001a33e8-ffffffe0001a3440: mark_reg_not_init.part.0 (STB_LOCAL)
  ffffffe0001a4704-ffffffe0001a4790: mark_reg_not_init (STB_LOCAL)
  

Flavor

• In aws: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dec90)
  Location: kernel/bpf/verifier.c:1028
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff811dec90-ffffffff811ded16: mark_reg_not_init (STB_LOCAL)
  

• In azure: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d1a50)
  Location: kernel/bpf/verifier.c:1028
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff811d1a50-ffffffff811d1ad6: mark_reg_not_init (STB_LOCAL)
  

• In gcp: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dca60)
  Location: kernel/bpf/verifier.c:1028
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff811dca60-ffffffff811dcae6: mark_reg_not_init (STB_LOCAL)
  

• In lowlatency: Selective Inline ⚠️

  void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811eae70)
  Location: kernel/bpf/verifier.c:1028
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:init_reg_state
  

  Symbols:

  ffffffff811eae70-ffffffff811eaef6: mark_reg_not_init (STB_LOCAL)
  

Differences

Regular

• Changed between 4.13 and 4.15 ⚠️

  • Param added. struct bpf_verifier_env *env
  • Param reordered. regs, regno ➡️ env, regs, regno
• 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 ✅