Home
last modified time | relevance | path

Searched refs:bpf_reg_state (Results 1 – 7 of 7) sorted by relevance

/Linux-v5.10/drivers/net/ethernet/netronome/nfp/bpf/
Dverifier.c50 const struct bpf_reg_state *reg2) in nfp_record_adjust_head()
85 const struct bpf_reg_state *reg1 = cur_regs(env) + BPF_REG_1; in nfp_bpf_map_update_value_ok()
86 const struct bpf_reg_state *reg3 = cur_regs(env) + BPF_REG_3; in nfp_bpf_map_update_value_ok()
125 const struct bpf_reg_state *reg, in nfp_bpf_stack_arg_ok()
159 u32 helper_tgt, const struct bpf_reg_state *reg1) in nfp_bpf_map_call_ok()
174 const struct bpf_reg_state *reg1 = cur_regs(env) + BPF_REG_1; in nfp_bpf_check_helper_call()
175 const struct bpf_reg_state *reg2 = cur_regs(env) + BPF_REG_2; in nfp_bpf_check_helper_call()
176 const struct bpf_reg_state *reg3 = cur_regs(env) + BPF_REG_3; in nfp_bpf_check_helper_call()
314 const struct bpf_reg_state *reg0 = cur_regs(env) + BPF_REG_0; in nfp_bpf_check_exit()
345 const struct bpf_reg_state *reg, in nfp_bpf_check_stack_access()
[all …]
Dmain.h250 struct bpf_reg_state reg;
305 struct bpf_reg_state ptr;
326 struct bpf_reg_state arg1;
/Linux-v5.10/kernel/bpf/
Dverifier.c419 static bool reg_may_point_to_spin_lock(const struct bpf_reg_state *reg) in reg_may_point_to_spin_lock()
552 const struct bpf_reg_state *reg) in func()
568 const struct bpf_reg_state *reg; in print_verifier_state()
1011 struct bpf_reg_state *reg);
1014 static void ___mark_reg_known(struct bpf_reg_state *reg, u64 imm) in ___mark_reg_known()
1031 static void __mark_reg_known(struct bpf_reg_state *reg, u64 imm) in __mark_reg_known()
1035 offsetof(struct bpf_reg_state, var_off) - sizeof(reg->type)); in __mark_reg_known()
1039 static void __mark_reg32_known(struct bpf_reg_state *reg, u64 imm) in __mark_reg32_known()
1051 static void __mark_reg_known_zero(struct bpf_reg_state *reg) in __mark_reg_known_zero()
1056 static void __mark_reg_const_zero(struct bpf_reg_state *reg) in __mark_reg_const_zero()
[all …]
Dbtf.c5126 struct bpf_reg_state *reg) in btf_check_func_arg_match()
5223 struct bpf_reg_state *reg) in btf_prepare_func_args()
/Linux-v5.10/include/linux/
Dbpf_verifier.h43 struct bpf_reg_state { struct
135 struct bpf_reg_state *parent; argument
163 struct bpf_reg_state spilled_ptr; argument
182 struct bpf_reg_state regs[MAX_BPF_REG];
442 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs()
458 const struct bpf_reg_state *reg, int regno);
Dbpf.h1438 struct bpf_reg_state;
1440 struct bpf_reg_state *regs);
1442 struct bpf_reg_state *reg);
/Linux-v5.10/Documentation/networking/
Dfilter.rst1169 This is done with ``struct bpf_reg_state``, defined in include/linux/