DepSurf

Function: regsafe

Status

Regular

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

  bool regsafe(struct bpf_reg_state *rold, struct bpf_reg_state *rcur, struct idpair *idmap);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff811a45b0-ffffffff811a4765: regsafe (STB_LOCAL)
  

• In 4.18: Selective Inline ⚠️

  bool regsafe(struct bpf_reg_state *rold, struct bpf_reg_state *rcur, struct idpair *idmap);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff811b70b0-ffffffff811b725a: regsafe (STB_LOCAL)
  

• In 5.0: Selective Inline ⚠️

  bool regsafe(struct bpf_reg_state *rold, struct bpf_reg_state *rcur, struct idpair *idmap);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff811c6440-ffffffff811c65d8: regsafe (STB_LOCAL)
  

• In 5.3: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d7c80)
  Location: kernel/bpf/verifier.c:6811
  Inline: True
  

  Symbols:

  ffffffff811d7c80-ffffffff811d7e4c: regsafe.part.0 (STB_LOCAL)
  

• In 5.4: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e4370)
  Location: kernel/bpf/verifier.c:6826
  Inline: True
  

  Symbols:

  ffffffff811e4370-ffffffff811e453c: regsafe.part.0 (STB_LOCAL)
  

• In 5.8: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203bcc)
  Location: kernel/bpf/verifier.c:7959
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:func_states_equal
    - kernel/bpf/verifier.c:stacksafe
  Direct callers:
    - kernel/bpf/verifier.c:func_states_equal
    - kernel/bpf/verifier.c:stacksafe
  

  Symbols:

  ffffffff812038c0-ffffffff81203a8c: regsafe.part.0 (STB_LOCAL)
  

• In 5.11: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203b5c)
  Location: kernel/bpf/verifier.c:8747
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:func_states_equal
    - kernel/bpf/verifier.c:stacksafe
  Direct callers:
    - kernel/bpf/verifier.c:func_states_equal
    - kernel/bpf/verifier.c:stacksafe
  

  Symbols:

  ffffffff81202c50-ffffffff81202df2: regsafe.part.0 (STB_LOCAL)
  

• In 5.13: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff812038b0)
  Location: kernel/bpf/verifier.c:9918
  Inline: True
  

  Symbols:

  ffffffff812038b0-ffffffff81203a83: regsafe.part.0 (STB_LOCAL)
  

• In 5.15: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff8123714d)
  Location: kernel/bpf/verifier.c:10249
  Inline: True
  

  Symbols:

  ffffffff81236df0-ffffffff81237046: regsafe.part.0 (STB_LOCAL)
  ffffffff81cb7c61-ffffffff81cb7ca9: regsafe.part.0.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold, struct bpf_reg_state *rcur, struct bpf_id_pair *idmap);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff8127b440-ffffffff8127b6b4: regsafe (STB_LOCAL)
  ffffffff81e68e00-ffffffff81e68e48: regsafe.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold, struct bpf_reg_state *rcur, struct bpf_id_pair *idmap);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

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

  Symbols:

  ffffffff812d34e0-ffffffff812d37c5: regsafe (STB_LOCAL)
  ffffffff8205fbc3-ffffffff8205fbed: regsafe.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold, struct bpf_reg_state *rcur, struct bpf_idmap *idmap);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:15288
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:states_equal
    - kernel/bpf/verifier.c:stacksafe
  

  Symbols:

  ffffffff812ff5f0-ffffffff812ff86e: regsafe (STB_LOCAL)
  ffffffff820def73-ffffffff820def9d: regsafe.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold, struct bpf_reg_state *rcur, struct bpf_idmap *idmap, bool exact);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:16329
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:states_equal
    - kernel/bpf/verifier.c:stacksafe
  

  Symbols:

  ffffffff8131f0f0-ffffffff8131f375: regsafe (STB_LOCAL)
  ffffffff821bb050-ffffffff821bb07a: regsafe.cold (STB_LOCAL)
  

Arch

• In arm64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffff8000102677d0)
  Location: kernel/bpf/verifier.c:6826
  Inline: True
  

  Symbols:

  ffff8000102677d0-ffff8000102679d4: regsafe.part.0 (STB_LOCAL)
  

• In armhf: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (c0499860)
  Location: kernel/bpf/verifier.c:6826
  Inline: True
  

  Symbols:

  c0499860-c0499a5c: regsafe.part.0 (STB_LOCAL)
  

• In ppc64el: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (c00000000030d000)
  Location: kernel/bpf/verifier.c:6826
  Inline: True
  

  Symbols:

  c00000000030d000-c00000000030d330: regsafe.part.0 (STB_LOCAL)
  

• In riscv64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a2ca4)
  Location: kernel/bpf/verifier.c:6826
  Inline: True
  

  Symbols:

  ffffffe0001a2ca4-ffffffe0001a2e1e: regsafe.part.0 (STB_LOCAL)
  

Flavor

• In aws: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dc990)
  Location: kernel/bpf/verifier.c:6826
  Inline: True
  

  Symbols:

  ffffffff811dc990-ffffffff811dcb5c: regsafe.part.0 (STB_LOCAL)
  

• In azure: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cf750)
  Location: kernel/bpf/verifier.c:6826
  Inline: True
  

  Symbols:

  ffffffff811cf750-ffffffff811cf91c: regsafe.part.0 (STB_LOCAL)
  

• In gcp: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811da760)
  Location: kernel/bpf/verifier.c:6826
  Inline: True
  

  Symbols:

  ffffffff811da760-ffffffff811da92c: regsafe.part.0 (STB_LOCAL)
  

• In lowlatency: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e8b70)
  Location: kernel/bpf/verifier.c:6826
  Inline: True
  

  Symbols:

  ffffffff811e8b70-ffffffff811e8d3c: regsafe.part.0 (STB_LOCAL)
  

Differences

Regular

• No changes between 4.15 and 4.18 ✅
• No changes between 4.18 and 5.0 ✅
• No changes between 5.19 and 6.2 ✅
• Changed between 6.2 and 6.5 ⚠️

  • Param type changed. struct bpf_id_pair *idmap ➡️ struct bpf_idmap *idmap
• Changed between 6.5 and 6.8 ⚠️

  • Param added. bool exact