| /linux/kernel/bpf/ |
| H A D | diagnostics.h | 14 struct bpf_reg_state;
61 const char *reg_name, const struct bpf_reg_state *reg,
71 int off, int size, u32 mem_size, const struct bpf_reg_state *reg);
98 void bpf_diag_mod_begin(struct bpf_verifier_env *env, const struct bpf_reg_state *reg,
99 const struct bpf_reg_state *origin, enum bpf_diag_mod_reason reason);
101 void bpf_diag_record_scrub(struct bpf_verifier_env *env, const struct bpf_reg_state *reg,
|
| H A D | verifier.c | 216 struct bpf_reg_state *reg);
217 static bool is_trusted_reg(struct bpf_verifier_env *env, const struct bpf_reg_state *reg);
220 static void scalar32_min_max_add(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg);
221 static void scalar_min_max_add(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg);
241 static void update_ref_obj(struct ref_obj_desc *ref_obj, struct bpf_reg_state *reg) in update_ref_obj()
327 struct bpf_reg_state *reg, in verbose_invalid_scalar()
347 static bool reg_not_null(struct bpf_verifier_env *env, const struct bpf_reg_state *reg) in reg_not_null()
375 static struct btf_record *reg_btf_record(const struct bpf_reg_state *re
[all...] |
| H A D | states.c | 302 static bool range_within(const struct bpf_reg_state *old, in range_within()
303 const struct bpf_reg_state *cur) in range_within()
445 struct bpf_reg_state *spill = &st->stack[i].spilled_ptr; in __clean_func_state()
488 static bool regs_exact(const struct bpf_reg_state *rold, in regs_exact()
489 const struct bpf_reg_state *rcur, in regs_exact()
492 return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 && in regs_exact()
505 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold, in regsafe()
506 struct bpf_reg_state *rcur, struct bpf_idmap *idmap, in regsafe()
546 return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 && in regsafe()
616 return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 && in regsafe()
[all …]
|
| H A D | diagnostics.c | 208 struct bpf_reg_state target_reg_snapshot;
1233 const char *reg_name, const struct bpf_reg_state *reg, in bpf_diag_invalid_deref()
1442 const struct bpf_reg_state *reg) in diag_snapshot_reg()
1515 const struct bpf_reg_state *old_reg, in diag_record_mod()
1516 const struct bpf_reg_state *new_reg, in diag_record_mod()
1548 static struct bpf_reg_state *target_to_reg(struct bpf_verifier_env *env, in target_to_reg()
1579 static bool reg_to_target(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, in reg_to_target()
1620 void bpf_diag_mod_begin(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, in bpf_diag_mod_begin()
1621 const struct bpf_reg_state *origin, enum bpf_diag_mod_reason reason) in bpf_diag_mod_begin()
1639 const struct bpf_reg_state *new_reg; in bpf_diag_mod_end()
[all …]
|
| H A D | log.c | 554 const struct bpf_reg_state *reg, in print_scalar_ranges()
626 const struct bpf_reg_state *reg) in print_reg_state()
704 const struct bpf_reg_state *reg; in print_verifier_state()
|
| H A D | backtrack.c | 669 struct bpf_reg_state *reg; in bpf_mark_all_scalars_precise()
811 struct bpf_reg_state *reg; in bpf_mark_chain_precision()
|
| H A D | btf.c | 7433 const struct bpf_reg_state *reg, in btf_struct_access()
9849 const struct bpf_reg_state *reg, in btf_nested_type_is_trusted()
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 38 struct bpf_reg_state { struct
170 static inline s64 reg_smin(const struct bpf_reg_state *reg) in reg_smin() argument
175 static inline s64 reg_smax(const struct bpf_reg_state *reg) in reg_smax()
180 static inline u64 reg_umin(const struct bpf_reg_state *reg) in reg_umin()
185 static inline u64 reg_umax(const struct bpf_reg_state *reg) in reg_umax()
190 static inline s32 reg_s32_min(const struct bpf_reg_state *reg) in reg_s32_min()
195 static inline s32 reg_s32_max(const struct bpf_reg_state *reg) in reg_s32_max()
200 static inline u32 reg_u32_min(const struct bpf_reg_state *reg) in reg_u32_min()
205 static inline u32 reg_u32_max(const struct bpf_reg_state *reg) in reg_u32_max()
210 static inline void reg_set_srange32(struct bpf_reg_state *reg, s32 smin, s32 smax) in reg_set_srange32()
[all …]
|
| H A D | bpf.h | 1142 struct bpf_reg_state;
1166 const struct bpf_reg_state *reg,
3187 const struct bpf_reg_state *reg,
3201 struct bpf_reg_state;
3229 const struct bpf_reg_state *reg, in bpf_prog_run_array_sleepable()
3537 const struct bpf_reg_state *reg, in has_current_bpf_ctx()
|
| H A D | filter.h | 748 const struct bpf_reg_state *reg,
|
| /linux/drivers/net/ethernet/netronome/nfp/bpf/ |
| H A D | main.h | 250 struct bpf_reg_state reg;
305 struct bpf_reg_state ptr;
326 struct bpf_reg_state arg1;
|
| /linux/net/sched/ |
| H A D | bpf_qdisc.c | 55 const struct bpf_reg_state *reg, in bpf_qdisc_qdisc_access()
76 const struct bpf_reg_state *reg, in bpf_qdisc_sk_buff_access()
97 const struct bpf_reg_state *reg, in bpf_qdisc_btf_struct_access()
|
| /linux/io_uring/ |
| H A D | bpf-ops.c | 90 const struct bpf_reg_state *reg, int off, in bpf_io_btf_struct_access()
|
| /linux/net/ipv4/ |
| H A D | bpf_tcp_ca.c | 62 const struct bpf_reg_state *reg, in bpf_tcp_ca_btf_struct_access()
|
| /linux/drivers/hid/bpf/ |
| H A D | hid_bpf_struct_ops.c | 70 const struct bpf_reg_state *reg, in hid_bpf_ops_btf_struct_access()
|
| /linux/net/netfilter/ |
| H A D | nf_conntrack_bpf.c | 269 const struct bpf_reg_state *reg, in BTF_ID()
|
| /linux/tools/testing/selftests/bpf/test_kmods/ |
| H A D | bpf_testmod.c | 1901 const struct bpf_reg_state *reg, in st_ops_btf_struct_access()
|
| /linux/kernel/sched/ext/ |
| H A D | ext.c | 8119 static int bpf_scx_btf_struct_access_common(const struct bpf_reg_state *reg, in bpf_scx_init_member()
8134 const struct bpf_reg_state *reg, int off, in bpf_scx_init_member()
8153 const struct bpf_reg_state *reg, int off, in bpf_scx_init_member()
|
| /linux/net/core/ |
| H A D | filter.c | 9483 const struct bpf_reg_state *reg,
9488 const struct bpf_reg_state *reg, in tc_cls_act_btf_struct_access()
9570 const struct bpf_reg_state *reg, in xdp_btf_struct_access()
|