DepSurf

Function: mark_chain_precision

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: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e0a1b)
  Location: kernel/bpf/verifier.c:1823
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ed215)
  Location: kernel/bpf/verifier.c:1824
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120c5f2)
  Location: kernel/bpf/verifier.c:2132
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_precision
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81207b42)
  Location: kernel/bpf/verifier.c:2184
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:propagate_precision
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81211f81)
  Location: kernel/bpf/verifier.c:2487
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_stack_write_var_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812472af)
  Location: kernel/bpf/verifier.c:2555
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_stack_write_var_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8128d39c)
  Location: kernel/bpf/verifier.c:2901
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_mem_size_reg
    - kernel/bpf/verifier.c:check_stack_write_var_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
  

• In 6.2: Selective Inline ⚠️

  int mark_chain_precision(struct bpf_verifier_env *env, int regno);
  

  Collision: Unique Global

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812e1f98)
  Location: kernel/bpf/verifier.c:3310
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - 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_kfunc_args
    - kernel/bpf/verifier.c:check_kfunc_args
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_size_reg
    - kernel/bpf/verifier.c:check_stack_write_var_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
  Direct callers:
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff812e90f0-ffffffff812e911a: mark_chain_precision (STB_GLOBAL)
  

• In 6.5: Selective Inline ⚠️

  int mark_chain_precision(struct bpf_verifier_env *env, int regno);
  

  Collision: Unique Global

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8130f27c)
  Location: kernel/bpf/verifier.c:4175
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - 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_kfunc_args
    - kernel/bpf/verifier.c:check_kfunc_args
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_size_reg
    - kernel/bpf/verifier.c:check_stack_write_var_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
  

  Symbols:

  ffffffff81315350-ffffffff81315368: mark_chain_precision (STB_GLOBAL)
  

• In 6.8: Selective Inline ⚠️

  int mark_chain_precision(struct bpf_verifier_env *env, int regno);
  

  Collision: Unique Global

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8132ca21)
  Location: kernel/bpf/verifier.c:4325
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - 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_kfunc_args
    - kernel/bpf/verifier.c:check_kfunc_args
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_size_reg
    - kernel/bpf/verifier.c:check_stack_write_var_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
  

  Symbols:

  ffffffff8133d060-ffffffff8133d078: mark_chain_precision (STB_GLOBAL)
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010270b9c)
  Location: kernel/bpf/verifier.c:1824
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a2e28)
  Location: kernel/bpf/verifier.c:1824
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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:check_alu_op
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c000000000317dd8)
  Location: kernel/bpf/verifier.c:1824
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001aa17e)
  Location: kernel/bpf/verifier.c:1824
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e5835)
  Location: kernel/bpf/verifier.c:1824
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d85f5)
  Location: kernel/bpf/verifier.c:1824
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e3605)
  Location: kernel/bpf/verifier.c:1824
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f19d5)
  Location: kernel/bpf/verifier.c:1824
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

Differences

Regular

• No changes between 6.2 and 6.5 ✅
• No changes between 6.5 and 6.8 ✅