DepSurf

Function: reg_set_min_max

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: ✅

  void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u8 opcode);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff8118de70-ffffffff8118df60: reg_set_min_max (STB_LOCAL)
  

• In 4.13: ✅

  void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u8 opcode);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff811942c0-ffffffff811944e9: reg_set_min_max (STB_LOCAL)
  

• In 4.15: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a5148)
  Location: kernel/bpf/verifier.c:2641
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811a4770-ffffffff811a4a52: reg_set_min_max.part.28 (STB_LOCAL)
  

• In 4.18: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bbb33)
  Location: kernel/bpf/verifier.c:3432
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811b7260-ffffffff811b7549: reg_set_min_max.part.29 (STB_LOCAL)
  

• In 5.0: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cbd7d)
  Location: kernel/bpf/verifier.c:4115
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811c65e0-ffffffff811c68f9: reg_set_min_max.part.44 (STB_LOCAL)
  

• In 5.3: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dea0e)
  Location: kernel/bpf/verifier.c:5323
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811d8180-ffffffff811d8550: reg_set_min_max.part.0 (STB_LOCAL)
  

• In 5.4: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811eb1ce)
  Location: kernel/bpf/verifier.c:5333
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811e4870-ffffffff811e4c40: reg_set_min_max.part.0 (STB_LOCAL)
  

• In 5.8: ✅

  void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u32 val32, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81204300)
  Location: kernel/bpf/verifier.c:6444
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff81204300-ffffffff8120489d: reg_set_min_max (STB_LOCAL)
  

• In 5.11: ✅

  void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u32 val32, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81204290)
  Location: kernel/bpf/verifier.c:7108
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff81204290-ffffffff81204855: reg_set_min_max (STB_LOCAL)
  

• In 5.13: ✅

  void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u32 val32, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81205260)
  Location: kernel/bpf/verifier.c:8271
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff81205260-ffffffff812057d6: reg_set_min_max (STB_LOCAL)
  

• In 5.15: ✅

  void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u32 val32, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81237d90)
  Location: kernel/bpf/verifier.c:8564
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff81237d90-ffffffff81238306: reg_set_min_max (STB_LOCAL)
  

• In 5.19: ✅

  void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u32 val32, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127c0b0)
  Location: kernel/bpf/verifier.c:9552
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff8127c0b0-ffffffff8127c74a: reg_set_min_max (STB_LOCAL)
  

• In 6.2: ✅

  void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u32 val32, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d26d0)
  Location: kernel/bpf/verifier.c:11475
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff812d26d0-ffffffff812d2d6a: reg_set_min_max (STB_LOCAL)
  

• In 6.5: ✅

  void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u32 val32, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81307b90)
  Location: kernel/bpf/verifier.c:13406
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff81307b90-ffffffff813081f8: reg_set_min_max (STB_LOCAL)
  

• In 6.8: Selective Inline ⚠️

  int reg_set_min_max(struct bpf_verifier_env *env, struct bpf_reg_state *true_reg1, struct bpf_reg_state *true_reg2, struct bpf_reg_state *false_reg1, struct bpf_reg_state *false_reg2, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81330050)
  Location: kernel/bpf/verifier.c:14577
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff81330050-ffffffff8133020d: reg_set_min_max (STB_LOCAL)
  

Arch

• In arm64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffff80001026e804)
  Location: kernel/bpf/verifier.c:5333
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffff800010267d10-ffff8000102680a0: reg_set_min_max.part.0 (STB_LOCAL)
  

• In armhf: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (c04a0f2c)
  Location: kernel/bpf/verifier.c:5333
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  c0499d60-c049a1fc: reg_set_min_max.part.0 (STB_LOCAL)
  

• In ppc64el: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (c000000000315404)
  Location: kernel/bpf/verifier.c:5333
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  c00000000030d750-c00000000030dbfc: reg_set_min_max.part.0 (STB_LOCAL)
  

• In riscv64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a8714)
  Location: kernel/bpf/verifier.c:5333
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffe0001a30c6-ffffffe0001a33e8: reg_set_min_max.part.0 (STB_LOCAL)
  

Flavor

• In aws: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e37ee)
  Location: kernel/bpf/verifier.c:5333
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811dce90-ffffffff811dd260: reg_set_min_max.part.0 (STB_LOCAL)
  

• In azure: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d65ae)
  Location: kernel/bpf/verifier.c:5333
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811cfc50-ffffffff811d0020: reg_set_min_max.part.0 (STB_LOCAL)
  

• In gcp: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e15be)
  Location: kernel/bpf/verifier.c:5333
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811dac60-ffffffff811db030: reg_set_min_max.part.0 (STB_LOCAL)
  

• In lowlatency: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ef9ce)
  Location: kernel/bpf/verifier.c:5333
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811e9070-ffffffff811e9440: reg_set_min_max.part.0 (STB_LOCAL)
  

Differences

Regular

• No changes between 4.10 and 4.13 ✅
• 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. struct bpf_verifier_env *env
  • Param added. struct bpf_reg_state *true_reg1
  • Param added. struct bpf_reg_state *true_reg2
  • Param added. struct bpf_reg_state *false_reg1
  • Param added. struct bpf_reg_state *false_reg2
  • Param removed. struct bpf_reg_state *true_reg
  • Param removed. struct bpf_reg_state *false_reg
  • Param removed. u64 val
  • Param removed. u32 val32
  • Param reordered. true_reg, false_reg, val, val32, opcode, is_jmp32 ➡️ env, true_reg1, true_reg2, false_reg1, false_reg2, opcode, is_jmp32
  • Return type changed. void ➡️ int