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

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811daa50)
  Location: kernel/bpf/verifier.c:1660
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffff811daa50-ffffffff811daeef: __mark_chain_precision (STB_LOCAL)
  

• In 5.4: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e6e80)
  Location: kernel/bpf/verifier.c:1661
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffff811e6e80-ffffffff811e7612: __mark_chain_precision (STB_LOCAL)
  

• In 5.8: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120c150)
  Location: kernel/bpf/verifier.c:1970
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:propagate_precision
    - 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
  

  Symbols:

  ffffffff8120c150-ffffffff8120c5c5: __mark_chain_precision (STB_LOCAL)
  

• In 5.11: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812076a0)
  Location: kernel/bpf/verifier.c:2022
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:propagate_precision
    - 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
  

  Symbols:

  ffffffff812076a0-ffffffff81207b15: __mark_chain_precision (STB_LOCAL)
  

• In 5.13: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81208cc0)
  Location: kernel/bpf/verifier.c:2325
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffff81208cc0-ffffffff8120917e: __mark_chain_precision (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:2393
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffff8123c750-ffffffff8123cd5d: __mark_chain_precision (STB_LOCAL)
  ffffffff81cb7fa9-ffffffff81cb81aa: __mark_chain_precision.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:2739
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffff8127fb20-ffffffff81280177: __mark_chain_precision (STB_LOCAL)
  ffffffff81e6916e-ffffffff81e6934c: __mark_chain_precision.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  int __mark_chain_precision(struct bpf_verifier_env *env, int frame, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:3122
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:propagate_precision
    - 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: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
  

  Symbols:

  ffffffff812d5110-ffffffff812d5857: __mark_chain_precision (STB_LOCAL)
  ffffffff8205fd5a-ffffffff8205ff3b: __mark_chain_precision.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

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

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:3959
  Inline: False
  Direct 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: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:

  ffffffff8130c420-ffffffff8130d02c: __mark_chain_precision (STB_LOCAL)
  ffffffff820df942-ffffffff820dfb17: __mark_chain_precision.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

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

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:4121
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:propagate_precision
    - 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:

  ffffffff81328790-ffffffff81329480: __mark_chain_precision (STB_LOCAL)
  ffffffff821bb8f6-ffffffff821bbae1: __mark_chain_precision.cold (STB_LOCAL)
  

Arch

• In arm64: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff80001026aaf0)
  Location: kernel/bpf/verifier.c:1661
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffff80001026aaf0-ffff80001026afbc: __mark_chain_precision (STB_LOCAL)
  

• In armhf: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049c780)
  Location: kernel/bpf/verifier.c:1661
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  c049c780-c049d0d4: __mark_chain_precision (STB_LOCAL)
  

• In ppc64el: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c000000000310480)
  Location: kernel/bpf/verifier.c:1661
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  c000000000310480-c000000000310e8c: __mark_chain_precision (STB_LOCAL)
  

• In riscv64: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a5274)
  Location: kernel/bpf/verifier.c:1661
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffe0001a5274-ffffffe0001a5694: __mark_chain_precision (STB_LOCAL)
  

Flavor

• In aws: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811df4a0)
  Location: kernel/bpf/verifier.c:1661
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffff811df4a0-ffffffff811dfc32: __mark_chain_precision (STB_LOCAL)
  

• In azure: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d2260)
  Location: kernel/bpf/verifier.c:1661
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffff811d2260-ffffffff811d29f2: __mark_chain_precision (STB_LOCAL)
  

• In gcp: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dd270)
  Location: kernel/bpf/verifier.c:1661
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffff811dd270-ffffffff811dda02: __mark_chain_precision (STB_LOCAL)
  

• In lowlatency: ✅

  int __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811eb680)
  Location: kernel/bpf/verifier.c:1661
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
    - 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
  

  Symbols:

  ffffffff811eb680-ffffffff811ebe12: __mark_chain_precision (STB_LOCAL)
  

Differences

Regular

• 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 ✅
• No changes between 5.15 and 5.19 ✅
• Changed between 5.19 and 6.2 ⚠️

  • Param added. int frame
  • Param reordered. env, regno, spi ➡️ env, frame, regno, spi
• Changed between 6.2 and 6.5 ⚠️

  • Param removed. int frame
  • Param removed. int spi
  • Param reordered. env, frame, regno, spi ➡️ env, regno
• No changes between 6.5 and 6.8 ✅

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 ✅