DepSurf

Function: mark_map_regs

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: ✅

  void mark_map_regs(struct bpf_verifier_state *state, u32 regno, enum bpf_reg_type type);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff8118df60-ffffffff8118e01f: mark_map_regs (STB_LOCAL)
  

• In 4.13: ✅

  void mark_map_regs(struct bpf_verifier_state *state, u32 regno, enum bpf_reg_type type);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff81193bf0-ffffffff81193c74: mark_map_regs (STB_LOCAL)
  

• In 4.15: ✅

  void mark_map_regs(struct bpf_verifier_state *state, u32 regno, bool is_null);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff811a1860-ffffffff811a18f6: mark_map_regs (STB_LOCAL)
  

• In 4.18: ✅

  void mark_map_regs(struct bpf_verifier_state *vstate, u32 regno, bool is_null);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

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

  Symbols:

  ffffffff811b6a20-ffffffff811b6ae7: mark_map_regs (STB_LOCAL)
  

• In 5.0: Absent ⚠️
• In 5.3: Absent ⚠️
• In 5.4: Absent ⚠️
• In 5.8: Absent ⚠️
• In 5.11: Absent ⚠️
• In 5.13: Absent ⚠️
• In 5.15: Absent ⚠️
• In 5.19: Absent ⚠️
• In 6.2: Absent ⚠️
• In 6.5: Absent ⚠️
• In 6.8: Absent ⚠️

Arch

• In arm64: Absent ⚠️
• In armhf: Absent ⚠️
• In ppc64el: Absent ⚠️
• In riscv64: Absent ⚠️

Flavor

• In aws: Absent ⚠️
• In azure: Absent ⚠️
• In gcp: Absent ⚠️
• In lowlatency: Absent ⚠️

Differences

Regular

• No changes between 4.10 and 4.13 ✅
• Changed between 4.13 and 4.15 ⚠️

  • Param added. bool is_null
  • Param removed. enum bpf_reg_type type
• Changed between 4.15 and 4.18 ⚠️

  • Param added. struct bpf_verifier_state *vstate
  • Param removed. struct bpf_verifier_state *state