DepSurf

Function: mark_reg_unknown

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a35a0)
  Location: kernel/bpf/verifier.c:566
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff811a35a0-ffffffff811a368c: mark_reg_unknown (STB_LOCAL)
  

• In 4.18: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b8490)
  Location: kernel/bpf/verifier.c:694
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - 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_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff811b8490-ffffffff811b8586: mark_reg_unknown (STB_LOCAL)
  

• In 5.0: Selective Inline, Transformation ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c7820)
  Location: kernel/bpf/verifier.c:945
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff811c6900-ffffffff811c6933: mark_reg_unknown.part.48 (STB_LOCAL)
  ffffffff811c7820-ffffffff811c7861: mark_reg_unknown (STB_LOCAL)
  

• In 5.3: Selective Inline, Transformation ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e550e)
  Location: kernel/bpf/verifier.c:1004
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff811daef0-ffffffff811daf4d: mark_reg_unknown (STB_LOCAL)
  ffffffff811e54e4-ffffffff811e552b: mark_reg_unknown.cold (STB_LOCAL)
  

• In 5.4: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7620)
  Location: kernel/bpf/verifier.c:1008
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff811e7620-ffffffff811e769d: mark_reg_unknown (STB_LOCAL)
  

• In 5.8: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812069d0)
  Location: kernel/bpf/verifier.c:1320
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:release_reg_references
    - kernel/bpf/verifier.c:__clear_all_pkt_pointers
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
    - kernel/bpf/verifier.c:check_stack_read
    - kernel/bpf/verifier.c:check_stack_read
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff812069d0-ffffffff81206a3c: mark_reg_unknown (STB_LOCAL)
  

• In 5.11: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812067a0)
  Location: kernel/bpf/verifier.c:1350
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:release_reg_references
    - kernel/bpf/verifier.c:__clear_all_pkt_pointers
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_map_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
    - kernel/bpf/verifier.c:check_stack_read
    - kernel/bpf/verifier.c:check_stack_read
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff812067a0-ffffffff8120680c: mark_reg_unknown (STB_LOCAL)
  

• In 5.13: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81208700)
  Location: kernel/bpf/verifier.c:1442
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_map_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
    - kernel/bpf/verifier.c:check_stack_read_fixed_off
    - kernel/bpf/verifier.c:mark_reg_stack_read
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff81208700-ffffffff8120876c: mark_reg_unknown (STB_LOCAL)
  

• In 5.15: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8124b92e)
  Location: kernel/bpf/verifier.c:1462
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__check_func_call
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_map_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
    - kernel/bpf/verifier.c:check_stack_read_fixed_off
    - kernel/bpf/verifier.c:mark_reg_stack_read
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff8123c100-ffffffff8123c16c: mark_reg_unknown (STB_LOCAL)
  

• In 5.19: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8128b8c4)
  Location: kernel/bpf/verifier.c:1665
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__check_func_call
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:release_reference
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_map_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
    - kernel/bpf/verifier.c:check_stack_read_fixed_off
    - kernel/bpf/verifier.c:mark_reg_stack_read
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff81281c50-ffffffff81281cc3: mark_reg_unknown (STB_LOCAL)
  

• In 6.2: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812e4138)
  Location: kernel/bpf/verifier.c:1879
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__check_func_call
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_map_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
    - kernel/bpf/verifier.c:check_stack_read_fixed_off
    - kernel/bpf/verifier.c:mark_reg_stack_read
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff812d7690-ffffffff812d7703: mark_reg_unknown (STB_LOCAL)
  

• In 6.5: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8130eea7)
  Location: kernel/bpf/verifier.c:2278
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:mark_reg_stack_read
    - kernel/bpf/verifier.c:mark_reg_stack_read
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_map_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
    - kernel/bpf/verifier.c:check_stack_read_fixed_off
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff812faea0-ffffffff812faf13: mark_reg_unknown (STB_LOCAL)
  

• In 6.8: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8132f0e8)
  Location: kernel/bpf/verifier.c:2284
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_kfunc_call
  Direct callers:
    - kernel/bpf/verifier.c:do_check_common
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:sanitize_speculative_path
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_ptr_to_map_access
    - kernel/bpf/verifier.c:check_ptr_to_btf_access
    - kernel/bpf/verifier.c:check_stack_read_fixed_off
    - kernel/bpf/verifier.c:mark_reg_stack_read
    - kernel/bpf/verifier.c:__check_reg_arg
  

  Symbols:

  ffffffff8131a650-ffffffff8131a6c3: mark_reg_unknown (STB_LOCAL)
  

Arch

• In arm64: Selective Inline, Transformation ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffff80001026afc0)
  Location: kernel/bpf/verifier.c:1008
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffff8000102680a0-ffff8000102680fc: mark_reg_unknown.part.0 (STB_LOCAL)
  ffff80001026afc0-ffff80001026b048: mark_reg_unknown (STB_LOCAL)
  

• In armhf: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049d0d4)
  Location: kernel/bpf/verifier.c:1008
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  c049d0d4-c049d15c: mark_reg_unknown (STB_LOCAL)
  

• In ppc64el: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c000000000310e90)
  Location: kernel/bpf/verifier.c:1008
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  c000000000310e90-c000000000310f64: mark_reg_unknown (STB_LOCAL)
  

• In riscv64: Selective Inline, Transformation ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a5694)
  Location: kernel/bpf/verifier.c:1008
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffe0001a33e8-ffffffe0001a3440: mark_reg_unknown.part.0 (STB_LOCAL)
  ffffffe0001a5694-ffffffe0001a571a: mark_reg_unknown (STB_LOCAL)
  

Flavor

• In aws: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dfc40)
  Location: kernel/bpf/verifier.c:1008
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff811dfc40-ffffffff811dfcbd: mark_reg_unknown (STB_LOCAL)
  

• In azure: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d2a00)
  Location: kernel/bpf/verifier.c:1008
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff811d2a00-ffffffff811d2a7d: mark_reg_unknown (STB_LOCAL)
  

• In gcp: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dda10)
  Location: kernel/bpf/verifier.c:1008
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff811dda10-ffffffff811dda8d: mark_reg_unknown (STB_LOCAL)
  

• In lowlatency: Selective Inline ⚠️

  void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ebe20)
  Location: kernel/bpf/verifier.c:1008
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_reg_arg
  

  Symbols:

  ffffffff811ebe20-ffffffff811ebe9d: mark_reg_unknown (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 ✅
• 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 ✅

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 ✅