Searched refs:bpf_reg_state (Results 1 – 7 of 7) sorted by relevance
| /linux-6.1.9/include/linux/ |
| D | bpf_verifier.h | 46 struct bpf_reg_state { struct
168 struct bpf_reg_state *parent; argument
202 struct bpf_reg_state spilled_ptr; argument
232 struct bpf_reg_state regs[MAX_BPF_REG];
358 struct bpf_reg_state *___regs; \
572 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs()
588 const struct bpf_reg_state *reg, int regno);
590 const struct bpf_reg_state *reg, int regno,
592 int check_kfunc_mem_size_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
594 int check_mem_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
[all …]
|
| D | bpf.h | 2059 struct bpf_reg_state;
2061 struct bpf_reg_state *regs);
2063 struct bpf_reg_state *regs);
2066 struct bpf_reg_state *regs,
2069 struct bpf_reg_state *reg);
|
| /linux-6.1.9/drivers/net/ethernet/netronome/nfp/bpf/ |
| D | verifier.c | 50 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 …]
|
| D | main.h | 250 struct bpf_reg_state reg;
305 struct bpf_reg_state ptr;
326 struct bpf_reg_state arg1;
|
| /linux-6.1.9/kernel/bpf/ |
| D | verifier.c | 413 struct bpf_reg_state *reg, in verbose_invalid_scalar()
454 static bool reg_may_point_to_spin_lock(const struct bpf_reg_state *reg) in reg_may_point_to_spin_lock()
633 const struct bpf_reg_state *reg) in func()
700 static int mark_stack_slots_dynptr(struct bpf_verifier_env *env, struct bpf_reg_state *reg, in mark_stack_slots_dynptr()
738 static int unmark_stack_slots_dynptr(struct bpf_verifier_env *env, struct bpf_reg_state *reg) in unmark_stack_slots_dynptr()
767 static bool is_dynptr_reg_valid_uninit(struct bpf_verifier_env *env, struct bpf_reg_state *reg) in is_dynptr_reg_valid_uninit()
786 struct bpf_reg_state *reg) in is_dynptr_reg_valid_init()
806 struct bpf_reg_state *reg, in is_dynptr_type_expected()
840 const struct bpf_reg_state *reg; in print_verifier_state()
1332 struct bpf_reg_state *reg);
[all …]
|
| D | btf.c | 6183 const struct bpf_reg_state *reg) in is_kfunc_arg_mem_size()
6209 const struct bpf_reg_state *reg, in btf_is_kfunc_arg_mem_size()
6234 struct bpf_reg_state *regs, in btf_check_func_arg_match()
6288 struct bpf_reg_state *reg = ®s[regno]; in btf_check_func_arg_match()
6583 struct bpf_reg_state *regs) in btf_check_subprog_arg_match()
6626 struct bpf_reg_state *regs) in btf_check_subprog_call()
6658 struct bpf_reg_state *regs, in btf_check_kfunc_arg_match()
6672 struct bpf_reg_state *regs) in btf_prepare_func_args()
6743 struct bpf_reg_state *reg = ®s[i + 1]; in btf_prepare_func_args()
|
| /linux-6.1.9/Documentation/bpf/ |
| D | verifier.rst | 115 This is done with ``struct bpf_reg_state``, defined in include/linux/
|