DepSurf

Function: cur_regs

Status

Regular

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

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a6e59)
  Location: include/linux/bpf_verifier.h:166
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bcda7)
  Location: include/linux/bpf_verifier.h:209
  Inline: True
  Inline 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:do_check
    - 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:do_check
    - 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:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_helper_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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ce329)
  Location: include/linux/bpf_verifier.h:259
  Inline: True
  Inline 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:do_check
    - 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:do_check
    - 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:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_helper_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_mem_access
    - kernel/bpf/verifier.c:check_packet_access
    - kernel/bpf/verifier.c:__check_map_access
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e2fd8)
  Location: include/linux/bpf_verifier.h:407
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ef84c)
  Location: include/linux/bpf_verifier.h:408
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812123b7)
  Location: include/linux/bpf_verifier.h:430
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_ld_imm
    - 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_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_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_stack_boundary
    - kernel/bpf/verifier.c:__check_stack_boundary
    - kernel/bpf/verifier.c:check_xadd
    - 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_sock_access
    - kernel/bpf/verifier.c:check_packet_access
    - kernel/bpf/verifier.c:__check_mem_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81213106)
  Location: include/linux/bpf_verifier.h:453
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_ld_imm
    - 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_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_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_reg_type
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_stack_boundary
    - kernel/bpf/verifier.c:__check_stack_boundary
    - kernel/bpf/verifier.c:check_xadd
    - 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_sock_access
    - kernel/bpf/verifier.c:check_packet_access
    - kernel/bpf/verifier.c:__check_mem_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812155b8)
  Location: include/linux/bpf_verifier.h:470
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_ld_imm
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_reg_type
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_atomic
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_stack_access_within_bounds
    - kernel/bpf/verifier.c:check_packet_access
    - kernel/bpf/verifier.c:__check_mem_access
    - kernel/bpf/verifier.c:check_map_access_type
    - kernel/bpf/verifier.c:check_stack_read
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8124bbc2)
  Location: include/linux/bpf_verifier.h:493
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_ld_imm
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_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_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_reg_type
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_stack_access_within_bounds
    - kernel/bpf/verifier.c:check_packet_access
    - kernel/bpf/verifier.c:__check_mem_access
    - kernel/bpf/verifier.c:check_map_access_type
    - kernel/bpf/verifier.c:check_stack_read
    - kernel/bpf/verifier.c:check_stack_read
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81292e88)
  Location: include/linux/bpf_verifier.h:527
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_ld_imm
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_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_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_reg_type
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_kfunc_mem_size_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_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_stack_access_within_bounds
    - kernel/bpf/verifier.c:check_packet_access
    - kernel/bpf/verifier.c:check_map_access_type
    - kernel/bpf/verifier.c:check_stack_read
    - kernel/bpf/verifier.c:check_stack_read
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812ed8e5)
  Location: include/linux/bpf_verifier.h:596
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_ld_imm
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_args
    - kernel/bpf/verifier.c:get_kfunc_ptr_arg_type
    - 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_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_reg_type
    - kernel/bpf/verifier.c:process_dynptr_func
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_kfunc_mem_size_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_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_stack_access_within_bounds
    - kernel/bpf/verifier.c:check_packet_access
    - kernel/bpf/verifier.c:check_map_access_type
    - kernel/bpf/verifier.c:check_stack_read
    - kernel/bpf/verifier.c:check_stack_read
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8131a236)
  Location: include/linux/bpf_verifier.h:663
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_ld_imm
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_args
    - kernel/bpf/verifier.c:get_kfunc_ptr_arg_type
    - 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_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_reg_type
    - kernel/bpf/verifier.c:process_iter_arg
    - kernel/bpf/verifier.c:process_dynptr_func
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_kfunc_mem_size_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_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_stack_access_within_bounds
    - kernel/bpf/verifier.c:check_packet_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8133bbcd)
  Location: include/linux/bpf_verifier.h:773
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_return_code
    - kernel/bpf/verifier.c:check_ld_abs
    - kernel/bpf/verifier.c:check_ld_imm
    - 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_alu_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_call
    - kernel/bpf/verifier.c:check_kfunc_args
    - kernel/bpf/verifier.c:get_kfunc_ptr_arg_type
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_reg_type
    - kernel/bpf/verifier.c:process_iter_arg
    - kernel/bpf/verifier.c:process_dynptr_func
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_kfunc_mem_size_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_stack_range_initialized
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - kernel/bpf/verifier.c:check_atomic
    - 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_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_stack_access_within_bounds
    - kernel/bpf/verifier.c:check_packet_access
    - kernel/bpf/verifier.c:check_map_access_type
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010273748)
  Location: include/linux/bpf_verifier.h:408
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a56f4)
  Location: include/linux/bpf_verifier.h:408
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000031b0e8)
  Location: include/linux/bpf_verifier.h:408
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001ac2c2)
  Location: include/linux/bpf_verifier.h:408
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - 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: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_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7e6c)
  Location: include/linux/bpf_verifier.h:408
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dac2c)
  Location: include/linux/bpf_verifier.h:408
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e5c3c)
  Location: include/linux/bpf_verifier.h:408
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f4004)
  Location: include/linux/bpf_verifier.h:408
  Inline: True
  Inline 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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - 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_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:process_spin_lock
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:__check_stack_boundary
    - 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_packet_access
    - kernel/bpf/verifier.c:__check_map_access
    - kernel/bpf/verifier.c:check_map_access_type
  

Differences