bpf_verifier_stateRegular
4.4: Absent ⚠️
4.8: Absent ⚠️
4.10: ✅struct bpf_verifier_state {
struct bpf_reg_state regs[11];
u8 stack_slot_type[512];
struct bpf_reg_state spilled_regs[64];
};
4.13: ✅struct bpf_verifier_state {
struct bpf_reg_state regs[11];
u8 stack_slot_type[512];
struct bpf_reg_state spilled_regs[64];
};
4.15: ✅struct bpf_verifier_state {
struct bpf_reg_state regs[11];
struct bpf_verifier_state *parent;
int allocated_stack;
struct bpf_stack_state *stack;
};
4.18: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 curframe;
};
5.0: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
u32 curframe;
bool speculative;
};
5.3: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
5.4: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
5.8: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
5.11: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
5.13: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
5.15: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
5.19: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
6.2: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
struct (anon) active_lock;
bool speculative;
bool active_rcu_lock;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
6.5: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
struct bpf_active_lock active_lock;
bool speculative;
bool active_rcu_lock;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
6.8: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
struct bpf_active_lock active_lock;
bool speculative;
bool active_rcu_lock;
bool used_as_loop_entry;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_verifier_state *loop_entry;
struct bpf_jmp_history_entry *jmp_history;
u32 jmp_history_cnt;
u32 dfs_depth;
u32 callback_unroll_depth;
};
arm64: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
armhf: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
ppc64el: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
riscv64: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
aws: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
azure: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
gcp: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
lowlatency: ✅struct bpf_verifier_state {
struct bpf_func_state * frame[8];
struct bpf_verifier_state *parent;
u32 branches;
u32 insn_idx;
u32 curframe;
u32 active_spin_lock;
bool speculative;
u32 first_insn_idx;
u32 last_insn_idx;
struct bpf_idx_pair *jmp_history;
u32 jmp_history_cnt;
};
Regular
4.10 and 4.13 ✅
4.13 and 4.15 ⚠️struct bpf_verifier_state *parent
int allocated_stack
struct bpf_stack_state *stack
u8 stack_slot_type[512]
struct bpf_reg_state spilled_regs[64]
4.15 and 4.18 ⚠️struct bpf_func_state * frame[8]
u32 curframe
struct bpf_reg_state regs[11]
int allocated_stack
struct bpf_stack_state *stack
4.18 and 5.0 ⚠️bool speculative
struct bpf_verifier_state *parent
5.0 and 5.3 ⚠️struct bpf_verifier_state *parent
u32 branches
u32 insn_idx
u32 active_spin_lock
u32 first_insn_idx
u32 last_insn_idx
struct bpf_idx_pair *jmp_history
u32 jmp_history_cnt
5.3 and 5.4 ✅
5.4 and 5.8 ✅
5.8 and 5.11 ✅
5.11 and 5.13 ✅
5.13 and 5.15 ✅
5.15 and 5.19 ✅
5.19 and 6.2 ⚠️struct (anon) active_lock
bool active_rcu_lock
u32 active_spin_lock
6.2 and 6.5 ⚠️struct (anon) active_lock ➡️ struct bpf_active_lock active_lock
6.5 and 6.8 ⚠️bool used_as_loop_entry
struct bpf_verifier_state *loop_entry
u32 dfs_depth
u32 callback_unroll_depth
struct bpf_idx_pair *jmp_history ➡️ struct bpf_jmp_history_entry *jmp_history
amd64 and arm64 ✅
amd64 and armhf ✅
amd64 and ppc64el ✅
amd64 and riscv64 ✅
generic and aws ✅
generic and azure ✅
generic and gcp ✅
generic and lowlatency ✅