DepSurf

Function: print_verifier_state

Status

Regular

• In 4.4: ✅

  void print_verifier_state(struct verifier_env *env);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81173ae0)
  Location: kernel/bpf/verifier.c:251
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff81173ae0-ffffffff81173be9: print_verifier_state (STB_LOCAL)
  

• In 4.8: ✅

  void print_verifier_state(struct verifier_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81181d20)
  Location: kernel/bpf/verifier.c:250
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
  

  Symbols:

  ffffffff81181d20-ffffffff81181e82: print_verifier_state (STB_LOCAL)
  

• In 4.10: ✅

  void print_verifier_state(struct bpf_verifier_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8118e170)
  Location: kernel/bpf/verifier.c:210
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_mem_access
  

  Symbols:

  ffffffff8118e170-ffffffff8118e325: print_verifier_state (STB_LOCAL)
  

• In 4.13: ✅

  void print_verifier_state(struct bpf_verifier_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81193d30)
  Location: kernel/bpf/verifier.c:212
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_map_access_adj
  

  Symbols:

  ffffffff81193d30-ffffffff81193f3c: print_verifier_state (STB_LOCAL)
  

• In 4.15: ✅

  void print_verifier_state(struct bpf_verifier_env *env, struct bpf_verifier_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a1900)
  Location: kernel/bpf/verifier.c:219
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
  

  Symbols:

  ffffffff811a1900-ffffffff811a1ba2: print_verifier_state (STB_LOCAL)
  

• In 4.18: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b80e0)
  Location: kernel/bpf/verifier.c:285
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
  

  Symbols:

  ffffffff811b80e0-ffffffff811b8482: print_verifier_state (STB_LOCAL)
  

• In 5.0: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c73c0)
  Location: kernel/bpf/verifier.c:418
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
  

  Symbols:

  ffffffff811c73c0-ffffffff811c7815: print_verifier_state (STB_LOCAL)
  

• In 5.3: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811da5a0)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff811da5a0-ffffffff811daa45: print_verifier_state (STB_LOCAL)
  

• In 5.4: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e69d0)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff811e69d0-ffffffff811e6e75: print_verifier_state (STB_LOCAL)
  

• In 5.8: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120bbc0)
  Location: kernel/bpf/verifier.c:542
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:check_mem_region_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff8120bbc0-ffffffff8120c145: print_verifier_state (STB_LOCAL)
  

• In 5.11: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81207140)
  Location: kernel/bpf/verifier.c:566
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:check_func_call
    - kernel/bpf/verifier.c:check_mem_region_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff81207140-ffffffff81207693: print_verifier_state (STB_LOCAL)
  

• In 5.13: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81206190)
  Location: kernel/bpf/verifier.c:614
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:check_mem_region_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff81206190-ffffffff812066d6: print_verifier_state (STB_LOCAL)
  

• In 5.15: Transformation ⚠️

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:615
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:check_mem_region_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff812390a0-ffffffff812397b9: print_verifier_state (STB_LOCAL)
  ffffffff81cb7d6d-ffffffff81cb7dd6: print_verifier_state.cold (STB_LOCAL)
  

• In 5.19: Transformation ⚠️

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state, bool print_all);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:814
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__mark_chain_precision
    - kernel/bpf/verifier.c:print_insn_state
  

  Symbols:

  ffffffff8127f210-ffffffff8127fb12: print_verifier_state (STB_LOCAL)
  ffffffff81e690f0-ffffffff81e6916e: print_verifier_state.cold (STB_LOCAL)
  

• In 6.2: Transformation ⚠️

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state, bool print_all);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:1003
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__mark_chain_precision
    - kernel/bpf/verifier.c:print_insn_state
  

  Symbols:

  ffffffff812d4860-ffffffff812d50fe: print_verifier_state (STB_LOCAL)
  ffffffff8205fcc5-ffffffff8205fd5a: print_verifier_state.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state, bool print_all);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:1342
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__check_func_call
    - kernel/bpf/verifier.c:__mark_chain_precision
    - kernel/bpf/verifier.c:print_insn_state
  

  Symbols:

  ffffffff81305a70-ffffffff81306683: print_verifier_state (STB_LOCAL)
  ffffffff820df459-ffffffff820df4f0: print_verifier_state.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state, bool print_all);
  

  Collision: Unique Global

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/log.c (0)
  Location: kernel/bpf/log.c:710
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:is_state_visited
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:prepare_func_exit
    - kernel/bpf/verifier.c:__mark_chain_precision
    - kernel/bpf/log.c:print_insn_state
  

  Symbols:

  ffffffff821bd246-ffffffff821bd28c: print_verifier_state.cold (STB_LOCAL)
  ffffffff813461f0-ffffffff813468e2: print_verifier_state (STB_GLOBAL)
  

Arch

• In arm64: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff80001026a608)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffff80001026a608-ffff80001026aaf0: print_verifier_state (STB_LOCAL)
  

• In armhf: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c049c218)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  c049c218-c049c780: print_verifier_state (STB_LOCAL)
  

• In ppc64el: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030fe60)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  c00000000030fe60-c000000000310480: print_verifier_state (STB_LOCAL)
  

• In riscv64: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a4ddc)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffe0001a4ddc-ffffffe0001a5274: print_verifier_state (STB_LOCAL)
  

Flavor

• In aws: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811deff0)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff811deff0-ffffffff811df495: print_verifier_state (STB_LOCAL)
  

• In azure: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d1db0)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff811d1db0-ffffffff811d2255: print_verifier_state (STB_LOCAL)
  

• In gcp: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811dcdc0)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff811dcdc0-ffffffff811dd265: print_verifier_state (STB_LOCAL)
  

• In lowlatency: ✅

  void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811eb1d0)
  Location: kernel/bpf/verifier.c:433
  Inline: False
  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:do_check
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:check_map_access
    - kernel/bpf/verifier.c:__mark_chain_precision
  

  Symbols:

  ffffffff811eb1d0-ffffffff811eb675: print_verifier_state (STB_LOCAL)
  

Differences

Regular

• Changed between 4.4 and 4.8 ⚠️

  • Param added. struct verifier_state *state
  • Param removed. struct verifier_env *env
• Changed between 4.8 and 4.10 ⚠️

  • Param type changed. struct verifier_state *state ➡️ struct bpf_verifier_state *state
• No changes between 4.10 and 4.13 ✅
• Changed between 4.13 and 4.15 ⚠️

  • Param added. struct bpf_verifier_env *env
  • Param reordered. state ➡️ env, state
• Changed between 4.15 and 4.18 ⚠️

  • Param type changed. struct bpf_verifier_state *state ➡️ const struct bpf_func_state *state
• 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 ✅
• Changed between 5.15 and 5.19 ⚠️

  • Param added. bool print_all
• 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 ✅