DepSurf

Function: __reg_bound_offset

Status

Regular

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

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a2040)
  Location: kernel/bpf/verifier.c:540
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff811a2040-ffffffff811a207c: __reg_bound_offset (STB_LOCAL)
  

• In 4.18: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b6b80)
  Location: kernel/bpf/verifier.c:667
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811b6b80-ffffffff811b6bb8: __reg_bound_offset (STB_LOCAL)
  

• In 5.0: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c5ca0)
  Location: kernel/bpf/verifier.c:915
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811c5ca0-ffffffff811c5cd8: __reg_bound_offset (STB_LOCAL)
  

• In 5.3: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d6b70)
  Location: kernel/bpf/verifier.c:974
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811d6b70-ffffffff811d6ba8: __reg_bound_offset (STB_LOCAL)
  

• In 5.4: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e31d0)
  Location: kernel/bpf/verifier.c:975
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811e31d0-ffffffff811e3208: __reg_bound_offset (STB_LOCAL)
  

• In 5.8: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81202850)
  Location: kernel/bpf/verifier.c:1209
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

  Symbols:

  ffffffff81202850-ffffffff812028ef: __reg_bound_offset (STB_LOCAL)
  

• In 5.11: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81202560)
  Location: kernel/bpf/verifier.c:1241
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

  Symbols:

  ffffffff81202560-ffffffff812025ff: __reg_bound_offset (STB_LOCAL)
  

• In 5.13: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203380)
  Location: kernel/bpf/verifier.c:1335
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

  Symbols:

  ffffffff81203380-ffffffff8120341f: __reg_bound_offset (STB_LOCAL)
  

• In 5.15: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812353d0)
  Location: kernel/bpf/verifier.c:1349
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

  Symbols:

  ffffffff812353d0-ffffffff8123546f: __reg_bound_offset (STB_LOCAL)
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127bd7a)
  Location: kernel/bpf/verifier.c:1553
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d235a)
  Location: kernel/bpf/verifier.c:1767
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81307815)
  Location: kernel/bpf/verifier.c:2164
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81327039)
  Location: kernel/bpf/verifier.c:2164
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
  

Arch

• In arm64: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010266478)
  Location: kernel/bpf/verifier.c:975
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffff800010266478-ffff8000102664b8: __reg_bound_offset (STB_LOCAL)
  

• In armhf: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c0498b5c)
  Location: kernel/bpf/verifier.c:975
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  c0498b5c-c0498bf8: __reg_bound_offset (STB_LOCAL)
  

• In ppc64el: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030b230)
  Location: kernel/bpf/verifier.c:975
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  c00000000030b230-c00000000030b298: __reg_bound_offset (STB_LOCAL)
  

• In riscv64: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a18bc)
  Location: kernel/bpf/verifier.c:975
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffe0001a18bc-ffffffe0001a18fc: __reg_bound_offset (STB_LOCAL)
  

Flavor

• In aws: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811db7f0)
  Location: kernel/bpf/verifier.c:975
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811db7f0-ffffffff811db828: __reg_bound_offset (STB_LOCAL)
  

• In azure: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ce5b0)
  Location: kernel/bpf/verifier.c:975
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811ce5b0-ffffffff811ce5e8: __reg_bound_offset (STB_LOCAL)
  

• In gcp: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d95c0)
  Location: kernel/bpf/verifier.c:975
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811d95c0-ffffffff811d95f8: __reg_bound_offset (STB_LOCAL)
  

• In lowlatency: ✅

  void __reg_bound_offset(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e79d0)
  Location: kernel/bpf/verifier.c:975
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811e79d0-ffffffff811e7a08: __reg_bound_offset (STB_LOCAL)
  

Differences

Regular

• 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 ✅

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 ✅