include/linux/bpf_verifier.h

1076

void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate,

include/linux/bpf_verifier.h

1078

void print_insn_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate,

include/linux/bpf_verifier.h

1094

int bpf_live_stack_query_init(struct bpf_verifier_env *env, struct bpf_verifier_state *st);

include/linux/bpf_verifier.h

365

struct bpf_verifier_state *parent;

include/linux/bpf_verifier.h

435

struct bpf_verifier_state *equal_state;

include/linux/bpf_verifier.h

461

struct bpf_verifier_state *___vstate = __vst; \

include/linux/bpf_verifier.h

485

struct bpf_verifier_state state;

include/linux/bpf_verifier.h

722

struct bpf_verifier_state state;

include/linux/bpf_verifier.h

730

struct bpf_verifier_state *entry_state;

include/linux/bpf_verifier.h

759

struct bpf_verifier_state *cur_state; /* current verifier state */

include/linux/bpf_verifier.h

896

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/liveness.c

139

static void compute_callchain(struct bpf_verifier_env *env, struct bpf_verifier_state *st,

kernel/bpf/liveness.c

209

struct bpf_verifier_state *st,

kernel/bpf/liveness.c

708

int bpf_live_stack_query_init(struct bpf_verifier_env *env, struct bpf_verifier_state *st)

kernel/bpf/log.c

749

void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate,

kernel/bpf/log.c

854

void print_insn_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate,

kernel/bpf/verifier.c

10548

static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)

kernel/bpf/verifier.c

10569

static int release_reference_nomark(struct bpf_verifier_state *state, int ref_obj_id)

kernel/bpf/verifier.c

10591

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

10642

struct bpf_verifier_state *state)

kernel/bpf/verifier.c

10821

struct bpf_verifier_state *state = env->cur_state, *callback_state;

kernel/bpf/verifier.c

10848

struct bpf_verifier_state *async_cb;

kernel/bpf/verifier.c

10889

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

11208

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

11236

struct bpf_verifier_state *state = env->cur_state, *prev_st;

kernel/bpf/verifier.c

11451

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

1182

static int release_irq_state(struct bpf_verifier_state *state, int id);

kernel/bpf/verifier.c

12154

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

12932

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

14142

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

1446

static int copy_reference_state(struct bpf_verifier_state *dst, const struct bpf_verifier_state *src)

kernel/bpf/verifier.c

14629

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

14654

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

14743

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

1476

static int resize_reference_state(struct bpf_verifier_state *state, size_t n)

kernel/bpf/verifier.c

14868

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

1521

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

1548

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

1566

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

1579

static void release_reference_state(struct bpf_verifier_state *state, int idx)

kernel/bpf/verifier.c

1598

static bool find_reference_state(struct bpf_verifier_state *state, int ptr_id)

kernel/bpf/verifier.c

16013

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

1609

static int release_lock_state(struct bpf_verifier_state *state, int type, int id, void *ptr)

kernel/bpf/verifier.c

16204

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

1633

static int release_irq_state(struct bpf_verifier_state *state, int id)

kernel/bpf/verifier.c

1655

static struct bpf_reference_state *find_lock_state(struct bpf_verifier_state *state, enum ref_state_type type,

kernel/bpf/verifier.c

16604

static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,

kernel/bpf/verifier.c

1688

static void clear_jmp_history(struct bpf_verifier_state *state)

kernel/bpf/verifier.c

1695

static void free_verifier_state(struct bpf_verifier_state *state,

kernel/bpf/verifier.c

1714

static struct bpf_verifier_state_list *state_parent_as_list(struct bpf_verifier_state *st)

kernel/bpf/verifier.c

1722

struct bpf_verifier_state *st);

kernel/bpf/verifier.c

17244

static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,

kernel/bpf/verifier.c

17267

struct bpf_verifier_state *this_branch,

kernel/bpf/verifier.c

17268

struct bpf_verifier_state *other_branch)

kernel/bpf/verifier.c

17392

struct bpf_verifier_state *vstate,

kernel/bpf/verifier.c

17424

static void sync_linked_regs(struct bpf_verifier_env *env, struct bpf_verifier_state *vstate,

kernel/bpf/verifier.c

17487

struct bpf_verifier_state *this_branch = env->cur_state;

kernel/bpf/verifier.c

17488

struct bpf_verifier_state *other_branch;

kernel/bpf/verifier.c

17506

struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;

kernel/bpf/verifier.c

1751

static int copy_verifier_state(struct bpf_verifier_state *dst_state,

kernel/bpf/verifier.c

1752

const struct bpf_verifier_state *src)

kernel/bpf/verifier.c

1808

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/verifier.c

1814

static bool same_callsites(struct bpf_verifier_state *a, struct bpf_verifier_state *b)

kernel/bpf/verifier.c

1829

static u32 frame_insn_idx(struct bpf_verifier_state *st, u32 frame)

kernel/bpf/verifier.c

1850

struct bpf_verifier_state *st,

kernel/bpf/verifier.c

187

struct bpf_verifier_state st;

kernel/bpf/verifier.c

1935

static int maybe_enter_scc(struct bpf_verifier_env *env, struct bpf_verifier_state *st)

kernel/bpf/verifier.c

1960

static int maybe_exit_scc(struct bpf_verifier_env *env, struct bpf_verifier_state *st)

kernel/bpf/verifier.c

19669

struct bpf_verifier_state *st)

kernel/bpf/verifier.c

19749

struct bpf_verifier_state *st)

kernel/bpf/verifier.c

19778

struct bpf_verifier_state *cur)

kernel/bpf/verifier.c

2003

struct bpf_verifier_state *st,

kernel/bpf/verifier.c

20135

static bool refsafe(struct bpf_verifier_state *old, struct bpf_verifier_state *cur,

kernel/bpf/verifier.c

20238

struct bpf_verifier_state *old,

kernel/bpf/verifier.c

20239

struct bpf_verifier_state *cur,

kernel/bpf/verifier.c

20279

const struct bpf_verifier_state *old,

kernel/bpf/verifier.c

20280

struct bpf_verifier_state *cur,

kernel/bpf/verifier.c

20345

struct bpf_verifier_state *st;

kernel/bpf/verifier.c

2035

struct bpf_verifier_state *st)

kernel/bpf/verifier.c

20371

static bool states_maybe_looping(struct bpf_verifier_state *old,

kernel/bpf/verifier.c

20372

struct bpf_verifier_state *cur)

kernel/bpf/verifier.c

20452

static bool iter_active_depths_differ(struct bpf_verifier_state *old, struct bpf_verifier_state *cur)

kernel/bpf/verifier.c

20480

struct bpf_verifier_state *cur = env->cur_state, *new;

kernel/bpf/verifier.c

206

static int release_reference_nomark(struct bpf_verifier_state *state, int ref_obj_id);

kernel/bpf/verifier.c

2060

static int update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)

kernel/bpf/verifier.c

2063

struct bpf_verifier_state *parent;

kernel/bpf/verifier.c

2091

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/verifier.c

21022

struct bpf_verifier_state *other_branch;

kernel/bpf/verifier.c

21247

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

2129

static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,

kernel/bpf/verifier.c

2133

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/verifier.c

24577

struct bpf_verifier_state *state;

kernel/bpf/verifier.c

24584

state = kzalloc_obj(struct bpf_verifier_state, GFP_KERNEL_ACCOUNT);

kernel/bpf/verifier.c

3006

static struct bpf_verifier_state *push_async_cb(struct bpf_verifier_env *env,

kernel/bpf/verifier.c

3976

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

4086

static int push_jmp_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur,

kernel/bpf/verifier.c

4128

static struct bpf_jmp_history_entry *get_jmp_hist_entry(struct bpf_verifier_state *st,

kernel/bpf/verifier.c

4149

static int get_prev_insn_idx(struct bpf_verifier_state *st, int i,

kernel/bpf/verifier.c

4750

struct bpf_verifier_state *st)

kernel/bpf/verifier.c

4796

static void mark_all_scalars_imprecise(struct bpf_verifier_env *env, struct bpf_verifier_state *st)

kernel/bpf/verifier.c

4909

struct bpf_verifier_state *starting_state,

kernel/bpf/verifier.c

4913

struct bpf_verifier_state *st = starting_state;

kernel/bpf/verifier.c

5102

struct bpf_verifier_state *starting_state)

kernel/bpf/verifier.c

5516

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

5556

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

5894

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

6239

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

635

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/verifier.c

8587

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/verifier.c

9057

static struct bpf_verifier_state *find_prev_entry(struct bpf_verifier_env *env,

kernel/bpf/verifier.c

9058

struct bpf_verifier_state *cur,

kernel/bpf/verifier.c

9062

struct bpf_verifier_state *st;

kernel/bpf/verifier.c

9109

struct bpf_verifier_state *old,

kernel/bpf/verifier.c

9110

struct bpf_verifier_state *cur)

kernel/bpf/verifier.c

9139

static struct bpf_reg_state *get_iter_from_state(struct bpf_verifier_state *cur_st,

kernel/bpf/verifier.c

9229

struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;