DepSurf

Function: tnum_equals_const

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 (ffffffff811a53ea)
  Location: include/linux/tnum.h:54
  Inline: True
  Inline 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:check_cond_jmp_op
    - kernel/bpf/verifier.c:mark_map_reg
    - kernel/bpf/verifier.c:check_stack_boundary
  

• In 4.18: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811bbb8d)
  Location: include/linux/tnum.h:56
  Inline: True
  Inline 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:mark_map_reg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.0: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cbb0c)
  Location: include/linux/tnum.h:56
  Inline: True
  Inline 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:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e27fd)
  Location: include/linux/tnum.h:56
  Inline: True
  Inline callers:
    - 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_helper_mem_access
    - 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 (ffffffff811ef0e0)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - 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_helper_mem_access
    - 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 (ffffffff8120213f)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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_stack_boundary
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120505b)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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_stack_write
    - kernel/bpf/verifier.c:check_stack_write
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812059eb)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch32_taken
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_func_arg
    - kernel/bpf/verifier.c:check_mem_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - 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
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8123857a)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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_mem_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - 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
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127c908)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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_mem_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - 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
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d2f38)
  Location: include/linux/tnum.h:65
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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_mem_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - 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
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8130adc7)
  Location: include/linux/tnum.h:65
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch64_taken
    - kernel/bpf/verifier.c:is_branch32_taken
    - 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_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_mem_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - 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
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8132e8f7)
  Location: include/linux/tnum.h:65
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:check_kfunc_args
    - 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_mem_reg
    - kernel/bpf/verifier.c:check_helper_mem_access
    - kernel/bpf/verifier.c:check_stack_write_var_off
    - kernel/bpf/verifier.c:check_stack_write_fixed_off
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010272948)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - 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_helper_mem_access
    - 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 (c04984f0)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - kernel/bpf/verifier.c:try_match_pkt_pointers
    - 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_helper_mem_access
    - 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 (c00000000031a314)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - 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_helper_mem_access
    - 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 (ffffffe0001ab8ce)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - 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_helper_mem_access
    - 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 (ffffffff811e7700)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - 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_helper_mem_access
    - 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 (ffffffff811da4c0)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - 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_helper_mem_access
    - 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 (ffffffff811e54d0)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - 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_helper_mem_access
    - 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 (ffffffff811f38a0)
  Location: include/linux/tnum.h:60
  Inline: True
  Inline callers:
    - 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_helper_mem_access
    - kernel/bpf/verifier.c:check_mem_access
    - kernel/bpf/verifier.c:check_mem_access
  

Differences