DepSurf

Function: tnum_subreg

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: Absent ⚠️
• In 4.18: Absent ⚠️
• In 5.0: Absent ⚠️
• In 5.3: Absent ⚠️
• In 5.4: Absent ⚠️
• In 5.8: ✅

  struct tnum tnum_subreg(struct tnum a);
  

  Collision: Unique Global

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/tnum.c (ffffffff81215540)
  Location: kernel/bpf/tnum.c:198
  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
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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: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:scalar32_min_max_or
    - kernel/bpf/verifier.c:scalar32_min_max_or
    - kernel/bpf/verifier.c:scalar32_min_max_or
    - kernel/bpf/verifier.c:scalar32_min_max_and
    - kernel/bpf/verifier.c:scalar32_min_max_and
    - kernel/bpf/verifier.c:scalar32_min_max_and
    - kernel/bpf/verifier.c:__reg_bound_offset
    - kernel/bpf/verifier.c:__update_reg32_bounds
  

  Symbols:

  ffffffff81215540-ffffffff8121554f: tnum_subreg (STB_GLOBAL)
  

• In 5.11: ✅

  struct tnum tnum_subreg(struct tnum a);
  

  Collision: Unique Global

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/tnum.c (ffffffff812171e0)
  Location: kernel/bpf/tnum.c:198
  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
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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: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:scalar32_min_max_xor
    - kernel/bpf/verifier.c:scalar32_min_max_xor
    - kernel/bpf/verifier.c:scalar32_min_max_xor
    - kernel/bpf/verifier.c:scalar32_min_max_or
    - kernel/bpf/verifier.c:scalar32_min_max_or
    - kernel/bpf/verifier.c:scalar32_min_max_or
    - kernel/bpf/verifier.c:scalar32_min_max_and
    - kernel/bpf/verifier.c:scalar32_min_max_and
    - kernel/bpf/verifier.c:scalar32_min_max_and
    - kernel/bpf/verifier.c:__reg_bound_offset
    - kernel/bpf/verifier.c:__update_reg32_bounds
  

  Symbols:

  ffffffff812171e0-ffffffff812171ef: tnum_subreg (STB_GLOBAL)
  

• In 5.13: ✅

  struct tnum tnum_subreg(struct tnum a);
  

  Collision: Unique Global

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/tnum.c (ffffffff8121a630)
  Location: kernel/bpf/tnum.c:198
  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
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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: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: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: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: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:__reg_bound_offset
    - kernel/bpf/verifier.c:__update_reg32_bounds
  

  Symbols:

  ffffffff8121a630-ffffffff8121a63f: tnum_subreg (STB_GLOBAL)
  

• In 5.15: ✅

  struct tnum tnum_subreg(struct tnum a);
  

  Collision: Unique Global

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/tnum.c (ffffffff81251430)
  Location: kernel/bpf/tnum.c:201
  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
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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: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: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: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: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:__reg_bound_offset
    - kernel/bpf/verifier.c:__update_reg32_bounds
  

  Symbols:

  ffffffff81251430-ffffffff8125143f: tnum_subreg (STB_GLOBAL)
  

• In 5.19: ✅

  struct tnum tnum_subreg(struct tnum a);
  

  Collision: Unique Global

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/tnum.c (ffffffff81298f10)
  Location: kernel/bpf/tnum.c:201
  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
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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: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: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: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: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:reg_bounds_sync
    - kernel/bpf/verifier.c:__update_reg32_bounds
  

  Symbols:

  ffffffff81298f10-ffffffff81298f27: tnum_subreg (STB_GLOBAL)
  

• In 6.2: ✅

  struct tnum tnum_subreg(struct tnum a);
  

  Collision: Unique Global

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/tnum.c (ffffffff812f4c20)
  Location: kernel/bpf/tnum.c:201
  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
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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: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: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: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: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:reg_bounds_sync
    - kernel/bpf/verifier.c:__update_reg32_bounds
  

  Symbols:

  ffffffff812f4c20-ffffffff812f4c37: tnum_subreg (STB_GLOBAL)
  

• In 6.5: ✅

  struct tnum tnum_subreg(struct tnum a);
  

  Collision: Unique Global

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/tnum.c (ffffffff813220b0)
  Location: kernel/bpf/tnum.c:201
  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
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:reg_set_min_max
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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: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: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: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: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:reg_bounds_sync
    - kernel/bpf/verifier.c:__update_reg32_bounds
  

  Symbols:

  ffffffff813220b0-ffffffff813220c7: tnum_subreg (STB_GLOBAL)
  

• In 6.8: Selective Inline ⚠️

  struct tnum tnum_subreg(struct tnum a);
  

  Collision: Unique Global

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/tnum.c (ffffffff81344a35)
  Location: kernel/bpf/tnum.c:195
  Inline: True
  Inline callers:
    - kernel/bpf/tnum.c:tnum_with_subreg
  Direct callers:
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:regs_refine_cond_op
    - kernel/bpf/verifier.c:is_branch_taken
    - kernel/bpf/verifier.c:is_branch_taken
    - kernel/bpf/verifier.c:is_branch_taken
    - kernel/bpf/verifier.c:is_scalar_branch_taken
    - kernel/bpf/verifier.c:is_scalar_branch_taken
    - kernel/bpf/verifier.c:is_scalar_branch_taken
    - kernel/bpf/verifier.c:is_scalar_branch_taken
    - 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: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: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: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: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:reg_bounds_sanity_check
    - kernel/bpf/verifier.c:reg_bounds_sanity_check
    - kernel/bpf/verifier.c:reg_bounds_sync
    - kernel/bpf/verifier.c:__update_reg32_bounds
  

  Symbols:

  ffffffff813449c0-ffffffff813449d7: tnum_subreg (STB_GLOBAL)
  

Arch

• In arm64: Absent ⚠️
• In armhf: Absent ⚠️
• In ppc64el: Absent ⚠️
• In riscv64: Absent ⚠️

Flavor

• In aws: Absent ⚠️
• In azure: Absent ⚠️
• In gcp: Absent ⚠️
• In lowlatency: Absent ⚠️

Differences

Regular

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