DepSurf

Function: coerce_reg_to_size

Status

Regular

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

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a1fb0)
  Location: kernel/bpf/verifier.c:1092
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff811a1fb0-ffffffff811a2040: coerce_reg_to_size (STB_LOCAL)
  

• In 4.18: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b6af0)
  Location: kernel/bpf/verifier.c:1647
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff811b6af0-ffffffff811b6b7a: coerce_reg_to_size (STB_LOCAL)
  

• In 5.0: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c5c10)
  Location: kernel/bpf/verifier.c:1906
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff811c5c10-ffffffff811c5c9a: coerce_reg_to_size (STB_LOCAL)
  

• In 5.3: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d6ae0)
  Location: kernel/bpf/verifier.c:2722
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff811d6ae0-ffffffff811d6b6b: coerce_reg_to_size (STB_LOCAL)
  

• In 5.4: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e3140)
  Location: kernel/bpf/verifier.c:2723
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff811e3140-ffffffff811e31cb: coerce_reg_to_size (STB_LOCAL)
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8121088b)
  Location: kernel/bpf/verifier.c:3077
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8121135c)
  Location: kernel/bpf/verifier.c:3235
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81212dc8)
  Location: kernel/bpf/verifier.c:3778
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812486de)
  Location: kernel/bpf/verifier.c:3864
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8128e8ed)
  Location: kernel/bpf/verifier.c:4391
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812e70fd)
  Location: kernel/bpf/verifier.c:4846
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff813124dd)
  Location: kernel/bpf/verifier.c:5790
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81332404)
  Location: kernel/bpf/verifier.c:6021
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_mem_access
  

Arch

• In arm64: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff8000102663f0)
  Location: kernel/bpf/verifier.c:2723
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffff8000102663f0-ffff800010266478: coerce_reg_to_size (STB_LOCAL)
  

• In armhf: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c0498a18)
  Location: kernel/bpf/verifier.c:2723
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  c0498a18-c0498b5c: coerce_reg_to_size (STB_LOCAL)
  

• In ppc64el: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030b160)
  Location: kernel/bpf/verifier.c:2723
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  c00000000030b160-c00000000030b230: coerce_reg_to_size (STB_LOCAL)
  

• In riscv64: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a1840)
  Location: kernel/bpf/verifier.c:2723
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffe0001a1840-ffffffe0001a18bc: coerce_reg_to_size (STB_LOCAL)
  

Flavor

• In aws: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811db760)
  Location: kernel/bpf/verifier.c:2723
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff811db760-ffffffff811db7eb: coerce_reg_to_size (STB_LOCAL)
  

• In azure: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ce520)
  Location: kernel/bpf/verifier.c:2723
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff811ce520-ffffffff811ce5ab: coerce_reg_to_size (STB_LOCAL)
  

• In gcp: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d9530)
  Location: kernel/bpf/verifier.c:2723
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff811d9530-ffffffff811d95bb: coerce_reg_to_size (STB_LOCAL)
  

• In lowlatency: ✅

  void coerce_reg_to_size(struct bpf_reg_state *reg, int size);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7940)
  Location: kernel/bpf/verifier.c:2723
  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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff811e7940-ffffffff811e79cb: coerce_reg_to_size (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 ✅

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 ✅