DepSurf

Function: is_branch_taken

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

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811cb925)
  Location: kernel/bpf/verifier.c:4037
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

• In 5.3: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811de44a)
  Location: kernel/bpf/verifier.c:5183
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811d7ed0-ffffffff811d817b: is_branch_taken.part.0 (STB_LOCAL)
  

• In 5.4: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811eac0a)
  Location: kernel/bpf/verifier.c:5193
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811e45c0-ffffffff811e486b: is_branch_taken.part.0 (STB_LOCAL)
  

• In 5.8: Selective Inline ⚠️

  int is_branch_taken(struct bpf_reg_state *reg, u64 val, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203050)
  Location: kernel/bpf/verifier.c:6411
  Inline: True
  Direct 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
  

  Symbols:

  ffffffff81203050-ffffffff812030a9: is_branch_taken (STB_LOCAL)
  

• In 5.11: Selective Inline ⚠️

  int is_branch_taken(struct bpf_reg_state *reg, u64 val, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81202ef0)
  Location: kernel/bpf/verifier.c:7014
  Inline: True
  Direct 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
  

  Symbols:

  ffffffff81202ef0-ffffffff81202f49: is_branch_taken (STB_LOCAL)
  

• In 5.13: Selective Inline ⚠️

  int is_branch_taken(struct bpf_reg_state *reg, u64 val, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81203a90)
  Location: kernel/bpf/verifier.c:8177
  Inline: True
  Direct 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
  

  Symbols:

  ffffffff81203a90-ffffffff81203aef: is_branch_taken (STB_LOCAL)
  

• In 5.15: Selective Inline ⚠️

  int is_branch_taken(struct bpf_reg_state *reg, u64 val, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81235ea0)
  Location: kernel/bpf/verifier.c:8470
  Inline: True
  Direct 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
  

  Symbols:

  ffffffff81235ea0-ffffffff81235eff: is_branch_taken (STB_LOCAL)
  

• In 5.19: Selective Inline ⚠️

  int is_branch_taken(struct bpf_reg_state *reg, u64 val, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81279e20)
  Location: kernel/bpf/verifier.c:9458
  Inline: True
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff81279e20-ffffffff81279eb6: is_branch_taken (STB_LOCAL)
  

• In 6.2: Selective Inline ⚠️

  int is_branch_taken(struct bpf_reg_state *reg, u64 val, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d05f0)
  Location: kernel/bpf/verifier.c:11381
  Inline: True
  Direct 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
  

  Symbols:

  ffffffff812d05f0-ffffffff812d0686: is_branch_taken (STB_LOCAL)
  

• In 6.5: Selective Inline ⚠️

  int is_branch_taken(struct bpf_reg_state *reg, u64 val, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: Selective

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812fefa0)
  Location: kernel/bpf/verifier.c:13312
  Inline: True
  Direct 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
  

  Symbols:

  ffffffff812fefa0-ffffffff812ff0a9: is_branch_taken (STB_LOCAL)
  

• In 6.8: ✅

  int is_branch_taken(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2, u8 opcode, bool is_jmp32);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8132f6a0)
  Location: kernel/bpf/verifier.c:14341
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff8132f6a0-ffffffff8132f93f: is_branch_taken (STB_LOCAL)
  

Arch

• In arm64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffff80001026e330)
  Location: kernel/bpf/verifier.c:5193
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffff800010267a70-ffff800010267d0c: is_branch_taken.part.0 (STB_LOCAL)
  

• In armhf: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (c04a0b3c)
  Location: kernel/bpf/verifier.c:5193
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  c0499a5c-c0499d60: is_branch_taken.part.0 (STB_LOCAL)
  

• In ppc64el: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (c000000000314f50)
  Location: kernel/bpf/verifier.c:5193
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  c00000000030d3f0-c00000000030d74c: is_branch_taken.part.0 (STB_LOCAL)
  

• In riscv64: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a8380)
  Location: kernel/bpf/verifier.c:5193
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffe0001a2ea0-ffffffe0001a30c6: is_branch_taken.part.0 (STB_LOCAL)
  

Flavor

• In aws: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e322a)
  Location: kernel/bpf/verifier.c:5193
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811dcbe0-ffffffff811dce8b: is_branch_taken.part.0 (STB_LOCAL)
  

• In azure: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d5fea)
  Location: kernel/bpf/verifier.c:5193
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811cf9a0-ffffffff811cfc4b: is_branch_taken.part.0 (STB_LOCAL)
  

• In gcp: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e0ffa)
  Location: kernel/bpf/verifier.c:5193
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811da9b0-ffffffff811dac5b: is_branch_taken.part.0 (STB_LOCAL)
  

• In lowlatency: Selective Inline, Transformation ⚠️

  Collision: Unique Static

  Inline: Selective

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ef40a)
  Location: kernel/bpf/verifier.c:5193
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
  

  Symbols:

  ffffffff811e8dc0-ffffffff811e906b: is_branch_taken.part.0 (STB_LOCAL)
  

Differences

Regular

• 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 ✅
• Changed between 6.5 and 6.8 ⚠️

  • Param added. struct bpf_reg_state *reg1
  • Param added. struct bpf_reg_state *reg2
  • Param removed. struct bpf_reg_state *reg
  • Param removed. u64 val