drivers/hid/bpf/hid_bpf_struct_ops.c
66
const struct bpf_reg_state *reg,
drivers/net/ethernet/netronome/nfp/bpf/main.h
250
struct bpf_reg_state reg;
drivers/net/ethernet/netronome/nfp/bpf/main.h
305
struct bpf_reg_state ptr;
drivers/net/ethernet/netronome/nfp/bpf/main.h
326
struct bpf_reg_state arg1;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
125
const struct bpf_reg_state *reg,
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
159
u32 helper_tgt, const struct bpf_reg_state *reg1)
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
174
const struct bpf_reg_state *reg1 = cur_regs(env) + BPF_REG_1;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
175
const struct bpf_reg_state *reg2 = cur_regs(env) + BPF_REG_2;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
176
const struct bpf_reg_state *reg3 = cur_regs(env) + BPF_REG_3;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
314
const struct bpf_reg_state *reg0 = cur_regs(env) + BPF_REG_0;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
345
const struct bpf_reg_state *reg,
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
418
const struct bpf_reg_state *reg,
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
454
const struct bpf_reg_state *reg = cur_regs(env) + reg_no;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
50
const struct bpf_reg_state *reg2)
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
505
const struct bpf_reg_state *reg = cur_regs(env) + meta->insn.dst_reg;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
529
const struct bpf_reg_state *sreg = cur_regs(env) + meta->insn.src_reg;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
530
const struct bpf_reg_state *dreg = cur_regs(env) + meta->insn.dst_reg;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
559
const struct bpf_reg_state *sreg =
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
561
const struct bpf_reg_state *dreg =
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
85
const struct bpf_reg_state *reg1 = cur_regs(env) + BPF_REG_1;
drivers/net/ethernet/netronome/nfp/bpf/verifier.c
86
const struct bpf_reg_state *reg3 = cur_regs(env) + BPF_REG_3;
include/linux/bpf.h
1141
struct bpf_reg_state;
include/linux/bpf.h
1165
const struct bpf_reg_state *reg,
include/linux/bpf.h
3143
const struct bpf_reg_state *reg,
include/linux/bpf.h
3157
struct bpf_reg_state;
include/linux/bpf.h
3186
const struct bpf_reg_state *reg,
include/linux/bpf.h
3494
const struct bpf_reg_state *reg,
include/linux/bpf_verifier.h
1002
struct bpf_reg_state fake_reg[1];
include/linux/bpf_verifier.h
1004
struct bpf_reg_state true_reg1, true_reg2, false_reg1, false_reg2;
include/linux/bpf_verifier.h
1125
static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env)
include/linux/bpf_verifier.h
1186
struct bpf_reg_state *reg);
include/linux/bpf_verifier.h
1187
void bpf_mark_reg_unknown_imprecise(struct bpf_reg_state *reg);
include/linux/bpf_verifier.h
1201
const struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
1231
static inline bool bpf_register_is_null(struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
1586
bool bpf_is_reg64(struct bpf_insn *insn, u32 regno, struct bpf_reg_state *reg, enum bpf_reg_arg_type t);
include/linux/bpf_verifier.h
174
static inline s64 reg_smin(const struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
179
static inline s64 reg_smax(const struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
184
static inline u64 reg_umin(const struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
189
static inline u64 reg_umax(const struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
194
static inline s32 reg_s32_min(const struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
199
static inline s32 reg_s32_max(const struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
204
static inline u32 reg_u32_min(const struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
209
static inline u32 reg_u32_max(const struct bpf_reg_state *reg)
include/linux/bpf_verifier.h
214
static inline void reg_set_srange32(struct bpf_reg_state *reg, s32 smin, s32 smax)
include/linux/bpf_verifier.h
219
static inline void reg_set_urange32(struct bpf_reg_state *reg, u32 umin, u32 umax)
include/linux/bpf_verifier.h
224
static inline void reg_set_srange64(struct bpf_reg_state *reg, s64 smin, s64 smax)
include/linux/bpf_verifier.h
229
static inline void reg_set_urange64(struct bpf_reg_state *reg, u64 umin, u64 umax)
include/linux/bpf_verifier.h
310
struct bpf_reg_state spilled_ptr;
include/linux/bpf_verifier.h
354
struct bpf_reg_state regs[MAX_BPF_REG];
include/linux/bpf_verifier.h
404
struct bpf_reg_state *stack_arg_regs; /* Outgoing on-stack arguments */
include/linux/bpf_verifier.h
530
static inline struct bpf_reg_state *
include/linux/bpf_verifier.h
539
static inline struct bpf_reg_state *
include/linux/bpf_verifier.h
565
struct bpf_reg_state *___regs; \
include/linux/filter.h
693
const struct bpf_reg_state *reg,
io_uring/bpf-ops.c
90
const struct bpf_reg_state *reg, int off,
kernel/bpf/backtrack.c
660
struct bpf_reg_state *reg;
kernel/bpf/backtrack.c
802
struct bpf_reg_state *reg;
kernel/bpf/btf.c
7372
const struct bpf_reg_state *reg,
kernel/bpf/btf.c
9761
const struct bpf_reg_state *reg,
kernel/bpf/log.c
554
const struct bpf_reg_state *reg,
kernel/bpf/log.c
637
const struct bpf_reg_state *reg)
kernel/bpf/log.c
715
const struct bpf_reg_state *reg;
kernel/bpf/states.c
1025
struct bpf_reg_state *state_reg;
kernel/bpf/states.c
1126
offsetof(struct bpf_reg_state, frameno)))
kernel/bpf/states.c
1191
struct bpf_reg_state *slot, *cur_slot;
kernel/bpf/states.c
1216
struct bpf_reg_state *reg;
kernel/bpf/states.c
1334
struct bpf_reg_state *iter_state, *iter_reg;
kernel/bpf/states.c
302
static bool range_within(const struct bpf_reg_state *old,
kernel/bpf/states.c
303
const struct bpf_reg_state *cur)
kernel/bpf/states.c
445
struct bpf_reg_state *spill = &st->stack[i].spilled_ptr;
kernel/bpf/states.c
491
static bool regs_exact(const struct bpf_reg_state *rold,
kernel/bpf/states.c
492
const struct bpf_reg_state *rcur,
kernel/bpf/states.c
495
return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&
kernel/bpf/states.c
507
static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold,
kernel/bpf/states.c
508
struct bpf_reg_state *rcur, struct bpf_idmap *idmap,
kernel/bpf/states.c
548
return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&
kernel/bpf/states.c
618
return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 &&
kernel/bpf/states.c
652
return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 &&
kernel/bpf/states.c
659
static struct bpf_reg_state unbound_reg;
kernel/bpf/states.c
690
static struct bpf_reg_state *scalar_reg_for_stack(struct bpf_verifier_env *env,
kernel/bpf/states.c
713
struct bpf_reg_state *old_reg, *cur_reg;
kernel/bpf/states.c
854
struct bpf_reg_state *old_arg, *cur_arg;
kernel/bpf/states.c
855
struct bpf_reg_state not_init = { .type = NOT_INIT };
kernel/bpf/verifier.c
10007
struct bpf_reg_state *regs)
kernel/bpf/verifier.c
10009
struct bpf_reg_state *fmt_reg = ®s[BPF_REG_3];
kernel/bpf/verifier.c
10010
struct bpf_reg_state *data_len_reg = ®s[BPF_REG_5];
kernel/bpf/verifier.c
1004
struct bpf_reg_state *reg, int nr_slots)
kernel/bpf/verifier.c
10072
struct bpf_reg_state *reg = reg_state(env, BPF_REG_4);
kernel/bpf/verifier.c
10153
static int release_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
10179
struct bpf_reg_state *regs;
kernel/bpf/verifier.c
10265
struct bpf_reg_state *reg = ®s[meta.release_regno];
kernel/bpf/verifier.c
1030
static int is_iter_reg_valid_init(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
10336
struct bpf_reg_state *r1 = ®s[BPF_REG_1];
kernel/bpf/verifier.c
10390
struct bpf_reg_state *reg = ®s[BPF_REG_1];
kernel/bpf/verifier.c
1042
struct bpf_reg_state *st = &slot->spilled_ptr;
kernel/bpf/verifier.c
10563
struct bpf_reg_state *r0;
kernel/bpf/verifier.c
10663
static void __mark_btf_func_reg_size(struct bpf_verifier_env *env, struct bpf_reg_state *regs,
kernel/bpf/verifier.c
10666
struct bpf_reg_state *reg = ®s[regno];
kernel/bpf/verifier.c
1067
struct bpf_reg_state *reg, int insn_idx,
kernel/bpf/verifier.c
10711
const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1072
struct bpf_reg_state *st;
kernel/bpf/verifier.c
10724
const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1098
static int unmark_stack_slot_irq_flag(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
1103
struct bpf_reg_state *st;
kernel/bpf/verifier.c
11259
struct bpf_reg_state *regs, struct bpf_kfunc_call_arg_meta *meta,
kernel/bpf/verifier.c
11262
int arg, int nargs, argno_t argno, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
11362
struct bpf_reg_state *reg,
kernel/bpf/verifier.c
11433
static int process_irq_flag(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
1148
static bool is_irq_flag_reg_valid_uninit(struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
11491
static int ref_set_non_owning(struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
11515
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
11573
static int check_reg_allocation_locked(struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1172
static int is_irq_flag_reg_valid_init(struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
11758
struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
1176
struct bpf_reg_state *st;
kernel/bpf/verifier.c
11808
struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
11816
struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
11825
struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
11889
struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
11898
struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
11933
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
11961
struct bpf_reg_state *reg = get_func_arg_reg(caller, regs, i);
kernel/bpf/verifier.c
12374
struct bpf_reg_state *buff_reg = reg;
kernel/bpf/verifier.c
12376
struct bpf_reg_state *size_reg = get_func_arg_reg(caller, regs, i + 1);
kernel/bpf/verifier.c
12743
struct bpf_reg_state *regs, struct bpf_insn_aux_data *insn_aux,
kernel/bpf/verifier.c
12918
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
12948
struct bpf_reg_state *regs;
kernel/bpf/verifier.c
13297
const struct bpf_reg_state *reg,
kernel/bpf/verifier.c
13326
const struct bpf_reg_state *reg,
kernel/bpf/verifier.c
13356
static int retrieve_ptr_limit(const struct bpf_reg_state *ptr_reg,
kernel/bpf/verifier.c
1343
sizeof(struct bpf_reg_state),
kernel/bpf/verifier.c
13436
struct bpf_reg_state *regs;
kernel/bpf/verifier.c
13453
const struct bpf_reg_state *ptr_reg,
kernel/bpf/verifier.c
13454
const struct bpf_reg_state *off_reg,
kernel/bpf/verifier.c
13455
struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13466
struct bpf_reg_state tmp;
kernel/bpf/verifier.c
13562
const struct bpf_reg_state *off_reg,
kernel/bpf/verifier.c
13563
const struct bpf_reg_state *dst_reg)
kernel/bpf/verifier.c
13608
const struct bpf_reg_state *reg,
kernel/bpf/verifier.c
13631
struct bpf_reg_state *dst_reg)
kernel/bpf/verifier.c
13668
const struct bpf_reg_state *ptr_reg,
kernel/bpf/verifier.c
13669
const struct bpf_reg_state *off_reg)
kernel/bpf/verifier.c
13673
struct bpf_reg_state *regs = state->regs, *dst_reg;
kernel/bpf/verifier.c
13864
static void scalar32_min_max_add(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13865
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
13870
static void scalar_min_max_add(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13871
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
13876
static void scalar32_min_max_sub(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13877
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
13882
static void scalar_min_max_sub(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13883
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
13888
static void scalar32_min_max_mul(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13889
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
13919
static void scalar_min_max_mul(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13920
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
13950
static void scalar32_min_max_udiv(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13951
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
13962
static void scalar_min_max_udiv(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13963
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
13974
static void scalar32_min_max_sdiv(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
13975
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
1400
sizeof(struct bpf_reg_state));
kernel/bpf/verifier.c
14010
static void scalar_min_max_sdiv(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14011
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14046
static void scalar32_min_max_umod(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14047
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14065
static void scalar_min_max_umod(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14066
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14084
static void scalar32_min_max_smod(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14085
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14123
static void scalar_min_max_smod(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14124
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14162
static void scalar32_min_max_and(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14163
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14183
static void scalar_min_max_and(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14184
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14206
static void scalar32_min_max_or(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14207
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14227
static void scalar_min_max_or(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14228
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14250
static void scalar32_min_max_xor(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14251
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14266
static void scalar_min_max_xor(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14267
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14284
static void __scalar32_min_max_lsh(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14298
static void scalar32_min_max_lsh(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14299
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14316
static void __scalar64_min_max_lsh(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14342
static void scalar_min_max_lsh(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14343
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14357
static void scalar32_min_max_rsh(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14358
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14387
static void scalar_min_max_rsh(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14388
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14419
static void scalar32_min_max_arsh(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14420
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14439
static void scalar_min_max_arsh(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14440
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14460
static void scalar_byte_swap(struct bpf_reg_state *dst_reg, struct bpf_insn *insn)
kernel/bpf/verifier.c
14510
const struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
14560
struct bpf_reg_state *dst_reg)
kernel/bpf/verifier.c
14563
struct bpf_reg_state *regs;
kernel/bpf/verifier.c
14594
struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
14595
struct bpf_reg_state src_reg)
kernel/bpf/verifier.c
14755
struct bpf_reg_state *regs = state->regs, *dst_reg, *src_reg;
kernel/bpf/verifier.c
14756
struct bpf_reg_state *ptr_reg = NULL, off_reg = {0};
kernel/bpf/verifier.c
14920
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
14970
struct bpf_reg_state *src_reg = regs + insn->src_reg;
kernel/bpf/verifier.c
14971
struct bpf_reg_state *dst_reg = regs + insn->dst_reg;
kernel/bpf/verifier.c
1507
static bool reg_is_referenced(struct bpf_verifier_env *env, const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
15108
struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
15113
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
15184
static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2,
kernel/bpf/verifier.c
15226
static int is_scalar_branch_taken(struct bpf_verifier_env *env, struct bpf_reg_state *reg1,
kernel/bpf/verifier.c
15227
struct bpf_reg_state *reg2, u8 opcode, bool is_jmp32)
kernel/bpf/verifier.c
15403
static int is_pkt_ptr_branch_taken(struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
15404
struct bpf_reg_state *src_reg,
kernel/bpf/verifier.c
15407
struct bpf_reg_state *pkt;
kernel/bpf/verifier.c
15450
static int is_branch_taken(struct bpf_verifier_env *env, struct bpf_reg_state *reg1,
kernel/bpf/verifier.c
15451
struct bpf_reg_state *reg2, u8 opcode, bool is_jmp32)
kernel/bpf/verifier.c
15518
static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2,
kernel/bpf/verifier.c
15668
struct bpf_reg_state *reg, u32 id,
kernel/bpf/verifier.c
15711
struct bpf_reg_state *regs = state->regs, *reg;
kernel/bpf/verifier.c
15727
struct bpf_reg_state *dst_reg,
kernel/bpf/verifier.c
15728
struct bpf_reg_state *src_reg,
kernel/bpf/verifier.c
15831
static void __collect_linked_regs(struct linked_regs *reg_set, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
15860
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
15887
struct bpf_reg_state *known_reg, struct linked_regs *linked_regs)
kernel/bpf/verifier.c
15889
struct bpf_reg_state fake_reg;
kernel/bpf/verifier.c
15890
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
15951
struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs;
kernel/bpf/verifier.c
15952
struct bpf_reg_state *dst_reg, *other_branch_regs, *src_reg = NULL;
kernel/bpf/verifier.c
15953
struct bpf_reg_state *eq_branch_regs;
kernel/bpf/verifier.c
16188
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
16189
struct bpf_reg_state *dst_reg;
kernel/bpf/verifier.c
16309
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
16536
struct bpf_reg_state *reg = reg_state(env, regno);
kernel/bpf/verifier.c
16618
struct bpf_reg_state *reg = reg_state(env, BPF_REG_0);
kernel/bpf/verifier.c
16957
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
17148
struct bpf_reg_state *reg = reg_state(env, regno);
kernel/bpf/verifier.c
17180
struct bpf_reg_state *dst_reg;
kernel/bpf/verifier.c
17442
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
1809
static void ___mark_reg_known(struct bpf_reg_state *reg, u64 imm)
kernel/bpf/verifier.c
1819
static void __mark_reg_known(struct bpf_reg_state *reg, u64 imm)
kernel/bpf/verifier.c
1823
offsetof(struct bpf_reg_state, var_off) - sizeof(reg->type));
kernel/bpf/verifier.c
1829
static void __mark_reg32_known(struct bpf_reg_state *reg, u64 imm)
kernel/bpf/verifier.c
18361
struct bpf_reg_state *regs;
kernel/bpf/verifier.c
1838
static void __mark_reg_known_zero(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
18391
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
1843
static void __mark_reg_const_zero(const struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1854
struct bpf_reg_state *regs, u32 regno)
kernel/bpf/verifier.c
1859
static void __mark_dynptr_reg(struct bpf_reg_state *reg, enum bpf_dynptr_type type,
kernel/bpf/verifier.c
1875
static void mark_ptr_not_null_reg(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1904
static void mark_reg_graph_node(struct bpf_reg_state *regs, u32 regno,
kernel/bpf/verifier.c
1913
static bool reg_is_pkt_pointer(const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1918
static bool reg_is_pkt_pointer_any(const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1924
static bool reg_is_dynptr_slice_pkt(const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1932
static bool reg_is_init_pkt_pointer(const struct bpf_reg_state *reg,
kernel/bpf/verifier.c
1944
static void __mark_reg32_unbounded(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1949
static void __mark_reg64_unbounded(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1955
static void __mark_reg_unbounded(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1961
static void reset_reg64_and_tnum(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1967
static void reset_reg32_and_tnum(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
1996
static void __update_reg32_bounds(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2001
static void __update_reg64_bounds(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2036
static void __update_reg_bounds(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2042
static void deduce_bounds_32_from_64(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2047
static void deduce_bounds_64_from_32(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2052
static void __reg_deduce_bounds(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2059
static void __reg_bound_offset(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2071
static bool range_bounds_violation(struct bpf_reg_state *reg);
kernel/bpf/verifier.c
2073
static void reg_bounds_sync(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2092
static bool const_tnum_range_mismatch(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
210
struct bpf_reg_state *reg);
kernel/bpf/verifier.c
2100
static bool const_tnum_range_mismatch_32(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2108
static bool range_bounds_violation(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
211
static bool is_trusted_reg(struct bpf_verifier_env *env, const struct bpf_reg_state *reg);
kernel/bpf/verifier.c
2114
struct bpf_reg_state *reg, const char *ctx)
kernel/bpf/verifier.c
214
static void scalar32_min_max_add(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg);
kernel/bpf/verifier.c
2148
void bpf_mark_reg_unknown_imprecise(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
215
static void scalar_min_max_add(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg);
kernel/bpf/verifier.c
2163
struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2170
struct bpf_reg_state *regs, u32 regno)
kernel/bpf/verifier.c
2176
struct bpf_reg_state *regs,
kernel/bpf/verifier.c
2181
struct bpf_reg_state *reg = regs + regno;
kernel/bpf/verifier.c
2196
struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2203
struct bpf_reg_state *regs, u32 regno,
kernel/bpf/verifier.c
2235
struct bpf_reg_state *regs = state->regs;
kernel/bpf/verifier.c
235
static void update_ref_obj(struct ref_obj_desc *ref_obj, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
2998
u32 regno, struct bpf_reg_state *reg, enum bpf_reg_arg_type t)
kernel/bpf/verifier.c
3084
struct bpf_reg_state *reg)
kernel/bpf/verifier.c
3096
static int __check_reg_arg(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno,
kernel/bpf/verifier.c
3100
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
3337
static bool is_reg_const(struct bpf_reg_state *reg, bool subreg32)
kernel/bpf/verifier.c
3344
static u64 reg_const_value(struct bpf_reg_state *reg, bool subreg32)
kernel/bpf/verifier.c
3350
const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
3358
static void clear_scalar_id(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
3365
struct bpf_reg_state *src_reg)
kernel/bpf/verifier.c
3387
int spi, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
3407
static int get_reg_width(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
341
struct bpf_reg_state *reg,
kernel/bpf/verifier.c
3461
struct bpf_reg_state *reg = NULL;
kernel/bpf/verifier.c
3515
struct bpf_reg_state *tmp_reg = &env->fake_reg[0];
kernel/bpf/verifier.c
3586
struct bpf_reg_state *ptr_reg, int off, int size,
kernel/bpf/verifier.c
3592
struct bpf_reg_state *value_reg = NULL;
kernel/bpf/verifier.c
361
static bool reg_not_null(struct bpf_verifier_env *env, const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
3651
struct bpf_reg_state *spill_reg = &state->stack[spi].spilled_ptr;
kernel/bpf/verifier.c
3755
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
380
static struct btf_record *reg_btf_record(const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
3899
static int check_stack_range_initialized(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
3905
static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno)
kernel/bpf/verifier.c
3923
static int check_stack_read_var_off(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
3954
struct bpf_reg_state *reg, argno_t ptr_argno, int off, int size,
kernel/bpf/verifier.c
4009
struct bpf_reg_state *reg, int off, int size,
kernel/bpf/verifier.c
4035
int off, struct bpf_reg_state *value_reg)
kernel/bpf/verifier.c
4040
struct bpf_reg_state *arg;
kernel/bpf/verifier.c
4081
struct bpf_reg_state *arg;
kernel/bpf/verifier.c
4129
static struct bpf_reg_state *get_func_arg_reg(struct bpf_func_state *caller,
kernel/bpf/verifier.c
4130
struct bpf_reg_state *regs, int arg)
kernel/bpf/verifier.c
4138
static int check_map_access_type(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
4160
static int __check_mem_access(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
4198
static int check_mem_region_access(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
4251
const struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
4283
const struct bpf_reg_state *reg, int regno)
kernel/bpf/verifier.c
4290
struct bpf_reg_state *reg, u32 regno)
kernel/bpf/verifier.c
4453
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
4472
struct bpf_reg_state *val_reg;
kernel/bpf/verifier.c
450
static bool reg_may_point_to_spin_lock(const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
4543
static int check_map_access(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
4648
static int check_packet_access(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno, int off,
kernel/bpf/verifier.c
4713
static int check_ctx_access(struct bpf_verifier_env *env, int insn_idx, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
4740
struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
4764
struct bpf_reg_state *reg, argno_t argno, int off, int size,
kernel/bpf/verifier.c
4813
const struct bpf_reg_state *reg = reg_state(env, regno);
kernel/bpf/verifier.c
4820
const struct bpf_reg_state *reg = reg_state(env, regno);
kernel/bpf/verifier.c
4827
const struct bpf_reg_state *reg = reg_state(env, regno);
kernel/bpf/verifier.c
4834
const struct bpf_reg_state *reg = reg_state(env, regno);
kernel/bpf/verifier.c
4842
const struct bpf_reg_state *reg = reg_state(env, regno);
kernel/bpf/verifier.c
4876
static bool is_trusted_reg(struct bpf_verifier_env *env, const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
4900
static bool is_rcu_reg(const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
4911
const struct bpf_reg_state *reg,
kernel/bpf/verifier.c
4946
const struct bpf_reg_state *reg,
kernel/bpf/verifier.c
4970
const struct bpf_reg_state *reg, int off,
kernel/bpf/verifier.c
5329
const struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5358
const struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5374
const struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5393
static void zext_32_to_64(struct bpf_reg_state *reg)
kernel/bpf/verifier.c
5402
static void coerce_reg_to_size(struct bpf_reg_state *reg, int size)
kernel/bpf/verifier.c
5426
static void set_sext64_default_val(struct bpf_reg_state *reg, int size)
kernel/bpf/verifier.c
5442
static void coerce_reg_to_size_sx(struct bpf_reg_state *reg, int size)
kernel/bpf/verifier.c
5497
static void set_sext32_default_val(struct bpf_reg_state *reg, int size)
kernel/bpf/verifier.c
5507
static void coerce_subreg_to_size_sx(struct bpf_reg_state *reg, int size)
kernel/bpf/verifier.c
564
static int stack_slot_obj_get_spi(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5687
struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5699
struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5710
struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5722
struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5734
struct bpf_reg_state *regs, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5894
struct bpf_reg_state *regs, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
5900
struct bpf_reg_state map_reg;
kernel/bpf/verifier.c
591
static int dynptr_get_spi(struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
596
static int iter_get_spi(struct bpf_verifier_env *env, struct bpf_reg_state *reg, int nr_slots)
kernel/bpf/verifier.c
5987
struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
601
static int irq_flag_get_spi(struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
6055
static void add_scalar_to_reg(struct bpf_reg_state *dst_reg, s64 val)
kernel/bpf/verifier.c
6057
struct bpf_reg_state fake_reg;
kernel/bpf/verifier.c
6078
static int check_mem_access(struct bpf_verifier_env *env, int insn_idx, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
6082
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
6347
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
6389
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
6425
struct bpf_reg_state *dst_reg;
kernel/bpf/verifier.c
651
static void __mark_dynptr_reg(struct bpf_reg_state *reg,
kernel/bpf/verifier.c
657
struct bpf_reg_state *sreg1,
kernel/bpf/verifier.c
658
struct bpf_reg_state *sreg2,
kernel/bpf/verifier.c
6596
struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno, int off,
kernel/bpf/verifier.c
668
struct bpf_reg_state *reg,
kernel/bpf/verifier.c
6741
static int check_helper_mem_access(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
6746
struct bpf_reg_state *regs = cur_regs(env);
kernel/bpf/verifier.c
677
static int mark_stack_slots_dynptr(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
6832
struct bpf_reg_state *mem_reg,
kernel/bpf/verifier.c
6833
struct bpf_reg_state *size_reg, argno_t mem_argno,
kernel/bpf/verifier.c
6888
static int check_mem_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
6892
struct bpf_reg_state saved_reg;
kernel/bpf/verifier.c
6924
static int check_kfunc_mem_size_reg(struct bpf_verifier_env *env, struct bpf_reg_state *mem_reg,
kernel/bpf/verifier.c
6925
struct bpf_reg_state *size_reg, argno_t mem_argno, argno_t size_argno)
kernel/bpf/verifier.c
6928
struct bpf_reg_state saved_reg;
kernel/bpf/verifier.c
6976
static int process_spin_lock(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno, int flags)
kernel/bpf/verifier.c
7092
static int check_map_field_pointer(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
7145
static int process_timer_func(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
7155
static int process_timer_helper(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
7161
static int process_timer_kfunc(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
7170
struct bpf_reg_state *reg = reg_state(env, regno);
kernel/bpf/verifier.c
7238
static int process_dynptr_func(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
7358
static int process_iter_arg(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno, int insn_idx,
kernel/bpf/verifier.c
7476
static bool scalars_exact_for_widen(const struct bpf_reg_state *rold,
kernel/bpf/verifier.c
7477
const struct bpf_reg_state *rcur)
kernel/bpf/verifier.c
7479
return !memcmp(rold, rcur, offsetof(struct bpf_reg_state, id));
kernel/bpf/verifier.c
7483
struct bpf_reg_state *rold, struct bpf_reg_state *rcur)
kernel/bpf/verifier.c
7525
static struct bpf_reg_state *get_iter_from_state(struct bpf_verifier_state *cur_st,
kernel/bpf/verifier.c
759
static int unmark_stack_slots_dynptr(struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
7617
struct bpf_reg_state *cur_iter, *queued_iter;
kernel/bpf/verifier.c
780
struct bpf_reg_state *reg);
kernel/bpf/verifier.c
782
static void mark_reg_invalid(const struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
7833
static int check_reg_type(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
794
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
7991
reg_find_field_offset(const struct bpf_reg_state *reg, s32 off, u32 fields)
kernel/bpf/verifier.c
8008
const struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
8088
const struct bpf_reg_state *reg, argno_t argno,
kernel/bpf/verifier.c
8095
struct bpf_reg_state *reg, argno_t argno)
kernel/bpf/verifier.c
8150
struct bpf_reg_state *key,
kernel/bpf/verifier.c
8155
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
8217
struct bpf_reg_state *reg = reg_state(env, regno);
kernel/bpf/verifier.c
847
static bool is_dynptr_reg_valid_uninit(struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
875
static bool is_dynptr_reg_valid_init(struct bpf_verifier_env *env, struct bpf_reg_state *reg)
kernel/bpf/verifier.c
8875
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
8891
struct bpf_reg_state *reg = &state->regs[regn];
kernel/bpf/verifier.c
8958
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
9008
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
9020
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
9034
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
904
static bool is_dynptr_type_expected(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
kernel/bpf/verifier.c
9053
struct bpf_reg_state *regs)
kernel/bpf/verifier.c
9132
struct bpf_reg_state *regs)
kernel/bpf/verifier.c
9160
struct bpf_reg_state *reg = get_func_arg_reg(caller, regs, i);
kernel/bpf/verifier.c
9249
struct bpf_reg_state *regs)
kernel/bpf/verifier.c
926
static void __mark_reg_known_zero(struct bpf_reg_state *reg);
kernel/bpf/verifier.c
934
struct bpf_reg_state *reg, int insn_idx,
kernel/bpf/verifier.c
950
struct bpf_reg_state *st = &slot->spilled_ptr;
kernel/bpf/verifier.c
9709
static bool retval_range_within(struct bpf_retval_range range, const struct bpf_reg_state *reg)
kernel/bpf/verifier.c
9721
struct bpf_reg_state *r0;
kernel/bpf/verifier.c
976
struct bpf_reg_state *reg, int nr_slots)
kernel/bpf/verifier.c
9809
struct bpf_reg_state *regs, int ret_type,
kernel/bpf/verifier.c
9814
struct bpf_reg_state *ret_reg = ®s[BPF_REG_0];
kernel/bpf/verifier.c
987
struct bpf_reg_state *st = &slot->spilled_ptr;
kernel/bpf/verifier.c
9914
struct bpf_reg_state *reg;
kernel/bpf/verifier.c
9950
struct bpf_reg_state *reg = reg_state(env, BPF_REG_0);
kernel/sched/ext/ext.c
7907
const struct bpf_reg_state *reg, int off,
net/bpf/bpf_dummy_struct_ops.c
237
const struct bpf_reg_state *reg,
net/core/filter.c
9323
const struct bpf_reg_state *reg,
net/core/filter.c
9328
const struct bpf_reg_state *reg,
net/core/filter.c
9410
const struct bpf_reg_state *reg,
net/ipv4/bpf_tcp_ca.c
62
const struct bpf_reg_state *reg,
net/netfilter/nf_conntrack_bpf.c
245
const struct bpf_reg_state *reg,
net/sched/bpf_qdisc.c
55
const struct bpf_reg_state *reg,
net/sched/bpf_qdisc.c
76
const struct bpf_reg_state *reg,
net/sched/bpf_qdisc.c
97
const struct bpf_reg_state *reg,
tools/testing/selftests/bpf/test_kmods/bpf_testmod.c
1772
const struct bpf_reg_state *reg,
