Home
last modified time | relevance | path

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

/Linux-v4.19/drivers/net/ethernet/netronome/nfp/bpf/
Dverifier.c78 const struct bpf_reg_state *reg2) in nfp_record_adjust_head()
113 const struct bpf_reg_state *reg, in nfp_bpf_stack_arg_ok()
147 u32 helper_tgt, const struct bpf_reg_state *reg1) in nfp_bpf_map_call_ok()
161 const struct bpf_reg_state *reg1 = cur_regs(env) + BPF_REG_1; in nfp_bpf_check_call()
162 const struct bpf_reg_state *reg2 = cur_regs(env) + BPF_REG_2; in nfp_bpf_check_call()
163 const struct bpf_reg_state *reg3 = cur_regs(env) + BPF_REG_3; in nfp_bpf_check_call()
300 const struct bpf_reg_state *reg0 = cur_regs(env) + BPF_REG_0; in nfp_bpf_check_exit()
331 const struct bpf_reg_state *reg, in nfp_bpf_check_stack_access()
394 const struct bpf_reg_state *reg, in nfp_bpf_map_mark_used()
430 const struct bpf_reg_state *reg = cur_regs(env) + reg_no; in nfp_bpf_check_ptr()
[all …]
Dmain.h251 struct bpf_reg_state reg;
291 struct bpf_reg_state ptr;
311 struct bpf_reg_state arg1;
/Linux-v4.19/include/linux/
Dbpf_verifier.h43 struct bpf_reg_state { struct
101 struct bpf_reg_state spilled_ptr; argument
109 struct bpf_reg_state regs[MAX_BPF_REG];
209 static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) in cur_regs()
/Linux-v4.19/kernel/bpf/
Dverifier.c278 const struct bpf_reg_state *reg) in func()
288 const struct bpf_reg_state *reg; in print_verifier_state()
549 static void __mark_reg_not_init(struct bpf_reg_state *reg);
554 static void __mark_reg_known(struct bpf_reg_state *reg, u64 imm) in __mark_reg_known()
567 static void __mark_reg_known_zero(struct bpf_reg_state *reg) in __mark_reg_known_zero()
572 static void __mark_reg_const_zero(struct bpf_reg_state *reg) in __mark_reg_const_zero()
580 struct bpf_reg_state *regs, u32 regno) in mark_reg_known_zero()
592 static bool reg_is_pkt_pointer(const struct bpf_reg_state *reg) in reg_is_pkt_pointer()
597 static bool reg_is_pkt_pointer_any(const struct bpf_reg_state *reg) in reg_is_pkt_pointer_any()
604 static bool reg_is_init_pkt_pointer(const struct bpf_reg_state *reg, in reg_is_init_pkt_pointer()
[all …]
/Linux-v4.19/Documentation/networking/
Dfilter.txt1111 This is done with 'struct bpf_reg_state', defined in include/linux/