include/linux/bpf_verifier.h

1120

struct bpf_verifier_state *cur = env->cur_state;

include/linux/bpf_verifier.h

1174

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

include/linux/bpf_verifier.h

1176

void bpf_clear_jmp_history(struct bpf_verifier_state *state);

include/linux/bpf_verifier.h

1177

int bpf_copy_verifier_state(struct bpf_verifier_state *dst_state,

include/linux/bpf_verifier.h

1178

const struct bpf_verifier_state *src);

include/linux/bpf_verifier.h

1180

void bpf_free_verifier_state(struct bpf_verifier_state *state, bool free_self);

include/linux/bpf_verifier.h

1182

int bpf_push_jmp_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur,

include/linux/bpf_verifier.h

1189

struct bpf_verifier_state *st);

include/linux/bpf_verifier.h

1190

void bpf_clear_singular_ids(struct bpf_verifier_env *env, struct bpf_verifier_state *st);

include/linux/bpf_verifier.h

1192

struct bpf_verifier_state *starting_state,

include/linux/bpf_verifier.h

1203

struct bpf_verifier_state *cur = env->cur_state;

include/linux/bpf_verifier.h

1209

static inline u32 bpf_frame_insn_idx(struct bpf_verifier_state *st, u32 frame)

include/linux/bpf_verifier.h

1397

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

include/linux/bpf_verifier.h

1399

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

include/linux/bpf_verifier.h

1524

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

include/linux/bpf_verifier.h

448

struct bpf_verifier_state *parent;

include/linux/bpf_verifier.h

517

struct bpf_verifier_state *equal_state;

include/linux/bpf_verifier.h

562

struct bpf_verifier_state *___vstate = __vst; \

include/linux/bpf_verifier.h

600

struct bpf_verifier_state state;

include/linux/bpf_verifier.h

878

struct bpf_verifier_state state;

include/linux/bpf_verifier.h

886

struct bpf_verifier_state *entry_state;

include/linux/bpf_verifier.h

915

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

kernel/bpf/backtrack.c

105

static struct bpf_jmp_history_entry *get_jmp_hist_entry(struct bpf_verifier_state *st,

kernel/bpf/backtrack.c

11

int bpf_push_jmp_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur,

kernel/bpf/backtrack.c

657

struct bpf_verifier_state *st)

kernel/bpf/backtrack.c

791

struct bpf_verifier_state *starting_state,

kernel/bpf/backtrack.c

795

struct bpf_verifier_state *st = starting_state;

kernel/bpf/backtrack.c

84

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

kernel/bpf/liveness.c

102

struct bpf_verifier_state *st,

kernel/bpf/liveness.c

339

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

kernel/bpf/log.c

711

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

kernel/bpf/log.c

814

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

kernel/bpf/states.c

1021

const struct bpf_verifier_state *old,

kernel/bpf/states.c

1022

struct bpf_verifier_state *cur,

kernel/bpf/states.c

1087

struct bpf_verifier_state *st;

kernel/bpf/states.c

1113

static bool states_maybe_looping(struct bpf_verifier_state *old,

kernel/bpf/states.c

1114

struct bpf_verifier_state *cur)

kernel/bpf/states.c

1189

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

kernel/bpf/states.c

1213

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

kernel/bpf/states.c

1242

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

kernel/bpf/states.c

160

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

kernel/bpf/states.c

185

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

kernel/bpf/states.c

228

struct bpf_verifier_state *st,

kernel/bpf/states.c

260

struct bpf_verifier_state *st)

kernel/bpf/states.c

273

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

kernel/bpf/states.c

276

struct bpf_verifier_state *parent;

kernel/bpf/states.c

34

static struct bpf_verifier_state_list *state_parent_as_list(struct bpf_verifier_state *st)

kernel/bpf/states.c

42

struct bpf_verifier_state *st);

kernel/bpf/states.c

475

struct bpf_verifier_state *st)

kernel/bpf/states.c

75

struct bpf_verifier_state *st,

kernel/bpf/states.c

868

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

kernel/bpf/states.c

980

struct bpf_verifier_state *old,

kernel/bpf/states.c

981

struct bpf_verifier_state *cur,

kernel/bpf/verifier.c

10562

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

1063

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

kernel/bpf/verifier.c

10638

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

12947

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

1311

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

kernel/bpf/verifier.c

13435

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

13460

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

1353

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

kernel/bpf/verifier.c

13549

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

13671

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

1415

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

1443

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

14562

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

1461

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

1474

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

kernel/bpf/verifier.c

14753

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

1493

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

kernel/bpf/verifier.c

15107

static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,

kernel/bpf/verifier.c

1512

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

kernel/bpf/verifier.c

1536

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

kernel/bpf/verifier.c

1558

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

kernel/bpf/verifier.c

15707

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

kernel/bpf/verifier.c

15729

struct bpf_verifier_state *this_branch,

kernel/bpf/verifier.c

15730

struct bpf_verifier_state *other_branch)

kernel/bpf/verifier.c

1584

void bpf_clear_jmp_history(struct bpf_verifier_state *state)

kernel/bpf/verifier.c

15854

struct bpf_verifier_state *vstate,

kernel/bpf/verifier.c

15886

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

kernel/bpf/verifier.c

1591

void bpf_free_verifier_state(struct bpf_verifier_state *state,

kernel/bpf/verifier.c

15949

struct bpf_verifier_state *this_branch = env->cur_state;

kernel/bpf/verifier.c

15950

struct bpf_verifier_state *other_branch;

kernel/bpf/verifier.c

15968

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

kernel/bpf/verifier.c

1616

int bpf_copy_verifier_state(struct bpf_verifier_state *dst_state,

kernel/bpf/verifier.c

1617

const struct bpf_verifier_state *src)

kernel/bpf/verifier.c

16372

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

1672

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/verifier.c

1678

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

kernel/bpf/verifier.c

16953

struct bpf_verifier_state *st)

kernel/bpf/verifier.c

1708

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/verifier.c

17179

struct bpf_verifier_state *other_branch;

kernel/bpf/verifier.c

17259

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

17344

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

1746

static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,

kernel/bpf/verifier.c

1750

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/verifier.c

18360

struct bpf_verifier_state *state;

kernel/bpf/verifier.c

18367

state = kzalloc_obj(struct bpf_verifier_state, GFP_KERNEL_ACCOUNT);

kernel/bpf/verifier.c

188

struct bpf_verifier_state st;

kernel/bpf/verifier.c

204

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

kernel/bpf/verifier.c

2271

static struct bpf_verifier_state *push_async_cb(struct bpf_verifier_env *env,

kernel/bpf/verifier.c

3137

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

3303

struct bpf_verifier_state *starting_state)

kernel/bpf/verifier.c

3712

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

3752

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

4078

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

6345

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

6387

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

6980

struct bpf_verifier_state *cur = env->cur_state;

kernel/bpf/verifier.c

7448

static struct bpf_verifier_state *find_prev_entry(struct bpf_verifier_env *env,

kernel/bpf/verifier.c

7449

struct bpf_verifier_state *cur,

kernel/bpf/verifier.c

7453

struct bpf_verifier_state *st;

kernel/bpf/verifier.c

7495

struct bpf_verifier_state *old,

kernel/bpf/verifier.c

7496

struct bpf_verifier_state *cur)

kernel/bpf/verifier.c

7525

static struct bpf_reg_state *get_iter_from_state(struct bpf_verifier_state *cur_st,

kernel/bpf/verifier.c

7615

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

kernel/bpf/verifier.c

8888

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

kernel/bpf/verifier.c

8909

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

kernel/bpf/verifier.c

8954

struct bpf_verifier_state *vstate = env->cur_state;

kernel/bpf/verifier.c

9084

struct bpf_verifier_state *state)

kernel/bpf/verifier.c

9280

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

kernel/bpf/verifier.c

9307

struct bpf_verifier_state *async_cb;

kernel/bpf/verifier.c

9351

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

9405

struct bpf_verifier_state *branch;

kernel/bpf/verifier.c

9692

struct bpf_verifier_state *state = env->cur_state;

kernel/bpf/verifier.c

9719

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

kernel/bpf/verifier.c

9948

struct bpf_verifier_state *state = env->cur_state;