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

1097

struct bpf_reg_state;

include/linux/bpf.h

1121

const struct bpf_reg_state *reg,

include/linux/bpf.h

3009

const struct bpf_reg_state *reg,

include/linux/bpf.h

3023

struct bpf_reg_state;

include/linux/bpf.h

3052

const struct bpf_reg_state *reg,

include/linux/bpf.h

3304

const struct bpf_reg_state *reg,

include/linux/bpf_verifier.h

236

struct bpf_reg_state spilled_ptr;

include/linux/bpf_verifier.h

275

struct bpf_reg_state regs[MAX_BPF_REG];

include/linux/bpf_verifier.h

464

struct bpf_reg_state *___regs; \

include/linux/bpf_verifier.h

840

struct bpf_reg_state fake_reg[2];

include/linux/bpf_verifier.h

901

static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env)

include/linux/filter.h

692

const struct bpf_reg_state *reg,

kernel/bpf/btf.c

7306

const struct bpf_reg_state *reg,

kernel/bpf/btf.c

9525

const struct bpf_reg_state *reg,

kernel/bpf/log.c

592

const struct bpf_reg_state *reg,

kernel/bpf/log.c

675

const struct bpf_reg_state *reg)

kernel/bpf/log.c

753

const struct bpf_reg_state *reg;

kernel/bpf/verifier.c

1021

static bool is_dynptr_type_expected(struct bpf_verifier_env *env, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

1043

static void __mark_reg_known_zero(struct bpf_reg_state *reg);

kernel/bpf/verifier.c

1051

struct bpf_reg_state *reg, int insn_idx,

kernel/bpf/verifier.c

10535

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

10551

struct bpf_reg_state *reg = &state->regs[regn];

kernel/bpf/verifier.c

10593

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

10611

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

10620

struct bpf_reg_state *regs)

kernel/bpf/verifier.c

1067

struct bpf_reg_state *st = &slot->spilled_ptr;

kernel/bpf/verifier.c

10690

struct bpf_reg_state *regs)

kernel/bpf/verifier.c

10706

struct bpf_reg_state *reg = &regs[regno];

kernel/bpf/verifier.c

10790

struct bpf_reg_state *regs)

kernel/bpf/verifier.c

1094

struct bpf_reg_state *reg, int nr_slots)

kernel/bpf/verifier.c

1105

struct bpf_reg_state *st = &slot->spilled_ptr;

kernel/bpf/verifier.c

11225

static bool retval_range_within(struct bpf_retval_range range, const struct bpf_reg_state *reg,

kernel/bpf/verifier.c

1123

struct bpf_reg_state *reg, int nr_slots)

kernel/bpf/verifier.c

11238

struct bpf_reg_state *r0;

kernel/bpf/verifier.c

11329

struct bpf_reg_state *regs, int ret_type,

kernel/bpf/verifier.c

11333

struct bpf_reg_state *ret_reg = &regs[BPF_REG_0];

kernel/bpf/verifier.c

11417

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

11453

struct bpf_reg_state *reg = reg_state(env, BPF_REG_0);

kernel/bpf/verifier.c

1149

static int is_iter_reg_valid_init(struct bpf_verifier_env *env, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

11510

struct bpf_reg_state *regs)

kernel/bpf/verifier.c

11512

struct bpf_reg_state *fmt_reg = &regs[BPF_REG_3];

kernel/bpf/verifier.c

11513

struct bpf_reg_state *data_len_reg = &regs[BPF_REG_5];

kernel/bpf/verifier.c

11575

struct bpf_reg_state *reg = reg_state(env, BPF_REG_4);

kernel/bpf/verifier.c

1161

struct bpf_reg_state *st = &slot->spilled_ptr;

kernel/bpf/verifier.c

11648

struct bpf_reg_state *regs;

kernel/bpf/verifier.c

11764

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

1186

struct bpf_reg_state *reg, int insn_idx,

kernel/bpf/verifier.c

11864

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

11901

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

1191

struct bpf_reg_state *st;

kernel/bpf/verifier.c

11923

struct bpf_reg_state *reg = &regs[BPF_REG_1];

kernel/bpf/verifier.c

12179

static void __mark_btf_func_reg_size(struct bpf_verifier_env *env, struct bpf_reg_state *regs,

kernel/bpf/verifier.c

1218

static int unmark_stack_slot_irq_flag(struct bpf_verifier_env *env, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

12182

struct bpf_reg_state *reg = &regs[regno];

kernel/bpf/verifier.c

1223

struct bpf_reg_state *st;

kernel/bpf/verifier.c

12232

const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

12245

const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

12686

struct bpf_reg_state *regs = cur_regs(env);

kernel/bpf/verifier.c

12687

struct bpf_reg_state *reg = &regs[regno];

kernel/bpf/verifier.c

1270

static bool is_irq_flag_reg_valid_uninit(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

12784

struct bpf_reg_state *reg,

kernel/bpf/verifier.c

12858

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

12909

static int ref_set_non_owning(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

12934

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

1294

static int is_irq_flag_reg_valid_init(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

1298

struct bpf_reg_state *st;

kernel/bpf/verifier.c

13006

static int check_reg_allocation_locked(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

13185

struct bpf_reg_state *reg, u32 regno,

kernel/bpf/verifier.c

13235

struct bpf_reg_state *reg, u32 regno,

kernel/bpf/verifier.c

13243

struct bpf_reg_state *reg, u32 regno,

kernel/bpf/verifier.c

13252

struct bpf_reg_state *reg, u32 regno,

kernel/bpf/verifier.c

13316

struct bpf_reg_state *reg, u32 regno,

kernel/bpf/verifier.c

13325

struct bpf_reg_state *reg, u32 regno,

kernel/bpf/verifier.c

13377

struct bpf_reg_state *regs = cur_regs(env), *reg = &regs[i + 1];

kernel/bpf/verifier.c

13764

struct bpf_reg_state *buff_reg = &regs[regno];

kernel/bpf/verifier.c

13766

struct bpf_reg_state *size_reg = &regs[regno + 1];

kernel/bpf/verifier.c

13934

struct bpf_reg_state *regs, struct bpf_insn_aux_data *insn_aux,

kernel/bpf/verifier.c

14115

struct bpf_reg_state *regs = cur_regs(env);

kernel/bpf/verifier.c

14143

struct bpf_reg_state *regs;

kernel/bpf/verifier.c

14234

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

14289

struct bpf_reg_state *reg = &regs[meta.release_regno];

kernel/bpf/verifier.c

14506

const struct bpf_reg_state *reg,

kernel/bpf/verifier.c

14548

static int retrieve_ptr_limit(const struct bpf_reg_state *ptr_reg,

kernel/bpf/verifier.c

14630

struct bpf_reg_state *regs;

kernel/bpf/verifier.c

14647

const struct bpf_reg_state *ptr_reg,

kernel/bpf/verifier.c

14648

const struct bpf_reg_state *off_reg,

kernel/bpf/verifier.c

14649

struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

14660

struct bpf_reg_state tmp;

kernel/bpf/verifier.c

14756

const struct bpf_reg_state *off_reg,

kernel/bpf/verifier.c

14757

const struct bpf_reg_state *dst_reg)

kernel/bpf/verifier.c

14805

const struct bpf_reg_state *reg,

kernel/bpf/verifier.c

14828

const struct bpf_reg_state *dst_reg)

kernel/bpf/verifier.c

14865

const struct bpf_reg_state *ptr_reg,

kernel/bpf/verifier.c

14866

const struct bpf_reg_state *off_reg)

kernel/bpf/verifier.c

14870

struct bpf_reg_state *regs = state->regs, *dst_reg;

kernel/bpf/verifier.c

15106

static void scalar32_min_max_add(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15107

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15137

static void scalar_min_max_add(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15138

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15168

static void scalar32_min_max_sub(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15169

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15200

static void scalar_min_max_sub(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15201

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15232

static void scalar32_min_max_mul(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15233

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15260

static void scalar_min_max_mul(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15261

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15288

static void scalar32_min_max_udiv(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15289

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15304

static void scalar_min_max_udiv(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15305

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15320

static void scalar32_min_max_sdiv(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15321

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15357

static void scalar_min_max_sdiv(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15358

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15394

static void scalar32_min_max_umod(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15395

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15418

static void scalar_min_max_umod(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15419

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15442

static void scalar32_min_max_smod(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15443

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15488

static void scalar_min_max_smod(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15489

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15534

static void scalar32_min_max_and(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15535

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15565

static void scalar_min_max_and(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15566

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15597

static void scalar32_min_max_or(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15598

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15628

static void scalar_min_max_or(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15629

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15660

static void scalar32_min_max_xor(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15661

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15688

static void scalar_min_max_xor(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15689

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15718

static void __scalar32_min_max_lsh(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15736

static void scalar32_min_max_lsh(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15737

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15754

static void __scalar64_min_max_lsh(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15780

static void scalar_min_max_lsh(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15781

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15795

static void scalar32_min_max_rsh(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15796

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15827

static void scalar_min_max_rsh(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15828

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15861

static void scalar32_min_max_arsh(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15862

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15884

static void scalar_min_max_arsh(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

15885

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

15911

static void scalar_byte_swap(struct bpf_reg_state *dst_reg, struct bpf_insn *insn)

kernel/bpf/verifier.c

15961

const struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

16011

struct bpf_reg_state *dst_reg)

kernel/bpf/verifier.c

16014

struct bpf_reg_state *regs;

kernel/bpf/verifier.c

16045

struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

16046

struct bpf_reg_state src_reg)

kernel/bpf/verifier.c

16206

struct bpf_reg_state *regs = state->regs, *dst_reg, *src_reg;

kernel/bpf/verifier.c

16207

struct bpf_reg_state *ptr_reg = NULL, off_reg = {0};

kernel/bpf/verifier.c

16363

struct bpf_reg_state *regs = cur_regs(env);

kernel/bpf/verifier.c

16452

struct bpf_reg_state *src_reg = regs + insn->src_reg;

kernel/bpf/verifier.c

16453

struct bpf_reg_state *dst_reg = regs + insn->dst_reg;

kernel/bpf/verifier.c

16605

struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

16610

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

16686

static int is_scalar_branch_taken(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2,

kernel/bpf/verifier.c

16863

static int is_pkt_ptr_branch_taken(struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

16864

struct bpf_reg_state *src_reg,

kernel/bpf/verifier.c

16867

struct bpf_reg_state *pkt;

kernel/bpf/verifier.c

16910

static int is_branch_taken(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2,

kernel/bpf/verifier.c

16978

static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2,

kernel/bpf/verifier.c

17155

struct bpf_reg_state *true_reg1,

kernel/bpf/verifier.c

17156

struct bpf_reg_state *true_reg2,

kernel/bpf/verifier.c

17157

struct bpf_reg_state *false_reg1,

kernel/bpf/verifier.c

17158

struct bpf_reg_state *false_reg2,

kernel/bpf/verifier.c

17195

struct bpf_reg_state *reg, u32 id,

kernel/bpf/verifier.c

17248

struct bpf_reg_state *regs = state->regs, *reg;

kernel/bpf/verifier.c

17265

struct bpf_reg_state *dst_reg,

kernel/bpf/verifier.c

17266

struct bpf_reg_state *src_reg,

kernel/bpf/verifier.c

17369

static void __collect_linked_regs(struct linked_regs *reg_set, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

17398

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

17425

struct bpf_reg_state *known_reg, struct linked_regs *linked_regs)

kernel/bpf/verifier.c

17427

struct bpf_reg_state fake_reg;

kernel/bpf/verifier.c

17428

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

17489

struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs;

kernel/bpf/verifier.c

17490

struct bpf_reg_state *dst_reg, *other_branch_regs, *src_reg = NULL;

kernel/bpf/verifier.c

17491

struct bpf_reg_state *eq_branch_regs;

kernel/bpf/verifier.c

17745

struct bpf_reg_state *regs = cur_regs(env);

kernel/bpf/verifier.c

17746

struct bpf_reg_state *dst_reg;

kernel/bpf/verifier.c

17868

struct bpf_reg_state *regs = cur_regs(env);

kernel/bpf/verifier.c

17941

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

19560

static bool range_within(const struct bpf_reg_state *old,

kernel/bpf/verifier.c

19561

const struct bpf_reg_state *cur)

kernel/bpf/verifier.c

19753

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

19800

static bool regs_exact(const struct bpf_reg_state *rold,

kernel/bpf/verifier.c

19801

const struct bpf_reg_state *rcur,

kernel/bpf/verifier.c

19804

return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&

kernel/bpf/verifier.c

19816

static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold,

kernel/bpf/verifier.c

19817

struct bpf_reg_state *rcur, struct bpf_idmap *idmap,

kernel/bpf/verifier.c

19857

return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&

kernel/bpf/verifier.c

19927

return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 &&

kernel/bpf/verifier.c

19966

return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 &&

kernel/bpf/verifier.c

19974

static struct bpf_reg_state unbound_reg;

kernel/bpf/verifier.c

19998

static struct bpf_reg_state *scalar_reg_for_stack(struct bpf_verifier_env *env,

kernel/bpf/verifier.c

20021

struct bpf_reg_state *old_reg, *cur_reg;

kernel/bpf/verifier.c

20283

struct bpf_reg_state *state_reg;

kernel/bpf/verifier.c

20384

offsetof(struct bpf_reg_state, frameno)))

kernel/bpf/verifier.c

20454

struct bpf_reg_state *slot, *cur_slot;

kernel/bpf/verifier.c

20569

struct bpf_reg_state *iter_state, *iter_reg;

kernel/bpf/verifier.c

20988

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

21023

struct bpf_reg_state *dst_reg;

kernel/bpf/verifier.c

211

struct bpf_reg_state *reg);

kernel/bpf/verifier.c

212

static bool is_trusted_reg(const struct bpf_reg_state *reg);

kernel/bpf/verifier.c

2177

static void ___mark_reg_known(struct bpf_reg_state *reg, u64 imm)

kernel/bpf/verifier.c

2194

static void __mark_reg_known(struct bpf_reg_state *reg, u64 imm)

kernel/bpf/verifier.c

2198

offsetof(struct bpf_reg_state, var_off) - sizeof(reg->type));

kernel/bpf/verifier.c

2204

static void __mark_reg32_known(struct bpf_reg_state *reg, u64 imm)

kernel/bpf/verifier.c

2216

static void __mark_reg_known_zero(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2221

static void __mark_reg_const_zero(const struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2232

struct bpf_reg_state *regs, u32 regno)

kernel/bpf/verifier.c

2244

static void __mark_dynptr_reg(struct bpf_reg_state *reg, enum bpf_dynptr_type type,

kernel/bpf/verifier.c

2259

static void mark_ptr_not_null_reg(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2288

static void mark_reg_graph_node(struct bpf_reg_state *regs, u32 regno,

kernel/bpf/verifier.c

2298

static bool reg_is_pkt_pointer(const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2303

static bool reg_is_pkt_pointer_any(const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2309

static bool reg_is_dynptr_slice_pkt(const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2317

static bool reg_is_init_pkt_pointer(const struct bpf_reg_state *reg,

kernel/bpf/verifier.c

2331

static void __mark_reg_unbounded(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2344

static void __mark_reg64_unbounded(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2352

static void __mark_reg32_unbounded(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2360

static void reset_reg64_and_tnum(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2366

static void reset_reg32_and_tnum(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2372

static void __update_reg32_bounds(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2387

static void __update_reg64_bounds(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2430

static void __update_reg_bounds(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2437

static void __reg32_deduce_bounds(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

24578

struct bpf_reg_state *regs;

kernel/bpf/verifier.c

24608

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

2548

static void __reg64_deduce_bounds(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2683

static void __reg_deduce_mixed_bounds(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2750

static void __reg_deduce_bounds(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2758

static void __reg_bound_offset(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2770

static void reg_bounds_sync(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2788

struct bpf_reg_state *reg, const char *ctx)

kernel/bpf/verifier.c

2842

static void __reg_assign_32_into_64(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2862

static void __mark_reg_unknown_imprecise(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2868

memset(reg, 0, offsetof(struct bpf_reg_state, var_off));

kernel/bpf/verifier.c

2882

struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2889

struct bpf_reg_state *regs, u32 regno)

kernel/bpf/verifier.c

2902

struct bpf_reg_state *regs,

kernel/bpf/verifier.c

2907

struct bpf_reg_state *reg = regs + regno;

kernel/bpf/verifier.c

2921

struct bpf_reg_state *reg)

kernel/bpf/verifier.c

2928

struct bpf_reg_state *regs, u32 regno)

kernel/bpf/verifier.c

2941

struct bpf_reg_state *regs, u32 regno,

kernel/bpf/verifier.c

2973

struct bpf_reg_state *regs = state->regs;

kernel/bpf/verifier.c

3742

static int mark_stack_slot_obj_read(struct bpf_verifier_env *env, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

3756

static int mark_dynptr_read(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

3776

static int mark_iter_read(struct bpf_verifier_env *env, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

3782

static int mark_irq_flag_read(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

3797

u32 regno, struct bpf_reg_state *reg, enum reg_arg_type t)

kernel/bpf/verifier.c

386

struct bpf_reg_state *reg,

kernel/bpf/verifier.c

3918

struct bpf_reg_state *reg)

kernel/bpf/verifier.c

3930

static int __check_reg_arg(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno,

kernel/bpf/verifier.c

3934

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

406

static bool reg_not_null(const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

425

static struct btf_record *reg_btf_record(const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

472

static bool reg_may_point_to_spin_lock(const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

4753

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

4799

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

4920

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

5135

static bool register_is_null(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

5141

static bool is_reg_const(struct bpf_reg_state *reg, bool subreg32)

kernel/bpf/verifier.c

5148

static u64 reg_const_value(struct bpf_reg_state *reg, bool subreg32)

kernel/bpf/verifier.c

5154

const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

5163

struct bpf_reg_state *src_reg)

kernel/bpf/verifier.c

5187

static void copy_register_state(struct bpf_reg_state *dst, const struct bpf_reg_state *src)

kernel/bpf/verifier.c

5194

int spi, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

5214

static int get_reg_width(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

5256

struct bpf_reg_state *reg = NULL;

kernel/bpf/verifier.c

5320

struct bpf_reg_state *tmp_reg = &env->fake_reg[0];

kernel/bpf/verifier.c

5402

struct bpf_reg_state *ptr_reg = NULL, *value_reg = NULL;

kernel/bpf/verifier.c

5462

struct bpf_reg_state *spill_reg = &state->stack[spi].spilled_ptr;

kernel/bpf/verifier.c

5559

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

5701

static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno)

kernel/bpf/verifier.c

5723

struct bpf_reg_state *reg = reg_state(env, ptr_regno);

kernel/bpf/verifier.c

5755

struct bpf_reg_state *reg = reg_state(env, ptr_regno);

kernel/bpf/verifier.c

5812

struct bpf_reg_state *reg = reg_state(env, ptr_regno);

kernel/bpf/verifier.c

5834

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

5859

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

5896

struct bpf_reg_state *reg = &state->regs[regno];

kernel/bpf/verifier.c

5946

const struct bpf_reg_state *reg, int regno,

kernel/bpf/verifier.c

5978

const struct bpf_reg_state *reg, int regno)

kernel/bpf/verifier.c

5985

struct bpf_reg_state *reg, u32 regno)

kernel/bpf/verifier.c

6145

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

6164

struct bpf_reg_state *val_reg;

kernel/bpf/verifier.c

6241

struct bpf_reg_state *reg = &state->regs[regno];

kernel/bpf/verifier.c

633

const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

6348

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

6435

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

6482

const struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

6489

const struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

6496

const struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

6503

const struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

6511

const struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

654

static int stack_slot_obj_get_spi(struct bpf_verifier_env *env, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

6545

static bool is_trusted_reg(const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

6569

static bool is_rcu_reg(const struct bpf_reg_state *reg)

kernel/bpf/verifier.c

6580

const struct bpf_reg_state *reg,

kernel/bpf/verifier.c

6615

const struct bpf_reg_state *reg,

kernel/bpf/verifier.c

6639

const struct bpf_reg_state *reg, int off,

kernel/bpf/verifier.c

681

static int dynptr_get_spi(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

686

static int iter_get_spi(struct bpf_verifier_env *env, struct bpf_reg_state *reg, int nr_slots)

kernel/bpf/verifier.c

691

static int irq_flag_get_spi(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

6960

const struct bpf_reg_state *reg,

kernel/bpf/verifier.c

6983

const struct bpf_reg_state *reg,

kernel/bpf/verifier.c

6999

const struct bpf_reg_state *reg,

kernel/bpf/verifier.c

7018

static void zext_32_to_64(struct bpf_reg_state *reg)

kernel/bpf/verifier.c

7027

static void coerce_reg_to_size(struct bpf_reg_state *reg, int size)

kernel/bpf/verifier.c

7056

static void set_sext64_default_val(struct bpf_reg_state *reg, int size)

kernel/bpf/verifier.c

7075

static void coerce_reg_to_size_sx(struct bpf_reg_state *reg, int size)

kernel/bpf/verifier.c

7134

static void set_sext32_default_val(struct bpf_reg_state *reg, int size)

kernel/bpf/verifier.c

7149

static void coerce_subreg_to_size_sx(struct bpf_reg_state *reg, int size)

kernel/bpf/verifier.c

7333

struct bpf_reg_state *reg,

kernel/bpf/verifier.c

7345

struct bpf_reg_state *reg,

kernel/bpf/verifier.c

7356

struct bpf_reg_state *reg,

kernel/bpf/verifier.c

7368

struct bpf_reg_state *reg,

kernel/bpf/verifier.c

7380

struct bpf_reg_state *regs,

kernel/bpf/verifier.c

7385

struct bpf_reg_state *reg = regs + regno;

kernel/bpf/verifier.c

741

static void __mark_dynptr_reg(struct bpf_reg_state *reg,

kernel/bpf/verifier.c

746

struct bpf_reg_state *reg);

kernel/bpf/verifier.c

749

struct bpf_reg_state *sreg1,

kernel/bpf/verifier.c

750

struct bpf_reg_state *sreg2,

kernel/bpf/verifier.c

7533

struct bpf_reg_state *regs,

kernel/bpf/verifier.c

7538

struct bpf_reg_state *reg = regs + regno;

kernel/bpf/verifier.c

7540

struct bpf_reg_state map_reg;

kernel/bpf/verifier.c

760

struct bpf_reg_state *reg,

kernel/bpf/verifier.c

7631

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

769

static int mark_stack_slots_dynptr(struct bpf_verifier_env *env, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

7706

struct bpf_reg_state *regs = cur_regs(env);

kernel/bpf/verifier.c

7707

struct bpf_reg_state *reg = regs + regno;

kernel/bpf/verifier.c

7977

struct bpf_reg_state *regs = cur_regs(env);

kernel/bpf/verifier.c

8009

struct bpf_reg_state *regs = cur_regs(env);

kernel/bpf/verifier.c

8211

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

8357

struct bpf_reg_state *regs = cur_regs(env), *reg = &regs[regno];

kernel/bpf/verifier.c

844

static int unmark_stack_slots_dynptr(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

8450

struct bpf_reg_state *reg, u32 regno,

kernel/bpf/verifier.c

8499

static int check_mem_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

8503

struct bpf_reg_state saved_reg;

kernel/bpf/verifier.c

8527

static int check_kfunc_mem_size_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,

kernel/bpf/verifier.c

8530

struct bpf_reg_state *mem_reg = &cur_regs(env)[regno - 1];

kernel/bpf/verifier.c

8532

struct bpf_reg_state saved_reg;

kernel/bpf/verifier.c

8586

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

8703

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

8778

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

8851

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

8928

static u32 iter_ref_obj_id(struct bpf_verifier_env *env, struct bpf_reg_state *reg, int spi)

kernel/bpf/verifier.c

8971

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

900

struct bpf_reg_state *reg);

kernel/bpf/verifier.c

902

static void mark_reg_invalid(const struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

9082

static bool regs_exact(const struct bpf_reg_state *rold,

kernel/bpf/verifier.c

9083

const struct bpf_reg_state *rcur,

kernel/bpf/verifier.c

9090

static bool scalars_exact_for_widen(const struct bpf_reg_state *rold,

kernel/bpf/verifier.c

9091

const struct bpf_reg_state *rcur)

kernel/bpf/verifier.c

9093

return !memcmp(rold, rcur, offsetof(struct bpf_reg_state, id));

kernel/bpf/verifier.c

9097

struct bpf_reg_state *rold, struct bpf_reg_state *rcur)

kernel/bpf/verifier.c

9139

static struct bpf_reg_state *get_iter_from_state(struct bpf_verifier_state *cur_st,

kernel/bpf/verifier.c

914

struct bpf_reg_state *dreg;

kernel/bpf/verifier.c

9231

struct bpf_reg_state *cur_iter, *queued_iter;

kernel/bpf/verifier.c

9449

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

9592

reg_find_field_offset(const struct bpf_reg_state *reg, s32 off, u32 fields)

kernel/bpf/verifier.c

9609

const struct bpf_reg_state *reg, int regno,

kernel/bpf/verifier.c

964

static bool is_dynptr_reg_valid_uninit(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

9679

static struct bpf_reg_state *get_dynptr_arg_reg(struct bpf_verifier_env *env,

kernel/bpf/verifier.c

9681

struct bpf_reg_state *regs)

kernel/bpf/verifier.c

9683

struct bpf_reg_state *state = NULL;

kernel/bpf/verifier.c

9701

static int dynptr_id(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

9714

static int dynptr_ref_obj_id(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/bpf/verifier.c

9728

struct bpf_reg_state *reg)

kernel/bpf/verifier.c

9746

struct bpf_reg_state *reg, u32 regno)

kernel/bpf/verifier.c

9800

struct bpf_reg_state *key,

kernel/bpf/verifier.c

9805

struct bpf_reg_state *reg;

kernel/bpf/verifier.c

9867

struct bpf_reg_state *reg = reg_state(env, regno);

kernel/bpf/verifier.c

992

static bool is_dynptr_reg_valid_init(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

kernel/sched/ext.c

5384

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

9204

const struct bpf_reg_state *reg,

net/core/filter.c

9209

const struct bpf_reg_state *reg,

net/core/filter.c

9291

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

236

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

1627

const struct bpf_reg_state *reg,