bpf_func_state
struct bpf_func_state *state;
struct bpf_func_state *caller,
struct bpf_func_state *callee);
struct bpf_func_state *caller,
struct bpf_func_state *callee);
struct bpf_func_state;
struct bpf_func_state *frame[MAX_CALL_FRAMES];
static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env)
const struct bpf_func_state *state,
const struct bpf_func_state *state = vstate->frame[frameno];
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state;
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *state;
struct bpf_func_state *unused;
struct bpf_func_state *caller,
struct bpf_func_state *callee,
struct bpf_func_state *caller,
struct bpf_func_state *callee, int insn_idx);
struct bpf_func_state *caller, *callee;
struct bpf_func_state *caller, *callee;
struct bpf_func_state *caller;
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *caller,
struct bpf_func_state *callee)
struct bpf_func_state *caller,
struct bpf_func_state *callee, int insn_idx)
struct bpf_func_state *caller,
struct bpf_func_state *callee,
struct bpf_func_state *caller,
struct bpf_func_state *callee,
struct bpf_func_state *caller,
struct bpf_func_state *callee,
struct bpf_func_state *caller,
struct bpf_func_state *callee,
struct bpf_func_state *caller,
struct bpf_func_state *callee,
struct bpf_func_state *caller,
struct bpf_func_state *callee,
struct bpf_func_state *caller,
struct bpf_func_state *callee,
struct bpf_func_state *callee;
struct bpf_func_state *caller, *callee;
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state;
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *unused;
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state;
static int copy_stack_state(struct bpf_func_state *dst, const struct bpf_func_state *src)
struct bpf_func_state *state = vstate->frame[vstate->curframe];
static int grow_stack_state(struct bpf_verifier_env *env, struct bpf_func_state *state, int size)
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *state;
static void free_func_state(struct bpf_func_state *state)
static void mark_ptr_or_null_reg(struct bpf_func_state *state,
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *func;
static int copy_func_state(struct bpf_func_state *dst,
const struct bpf_func_state *src)
memcpy(dst, src, offsetof(struct bpf_func_state, stack));
struct bpf_func_state *dst;
struct bpf_func_state *frame = env->cur_state->frame[0];
struct bpf_func_state *state = cur->frame[cur->curframe];
struct bpf_func_state *st,
struct bpf_func_state *func;
static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old,
struct bpf_func_state *cur, struct bpf_idmap *idmap,
static bool func_states_equal(struct bpf_verifier_env *env, struct bpf_func_state *old,
struct bpf_func_state *cur, u32 insn_idx, enum exact_level exact)
struct bpf_func_state *state;
struct bpf_func_state *fold, *fcur;
struct bpf_func_state *state;
struct bpf_func_state *frame = sl->state.frame[sl->state.curframe];
struct bpf_func_state *cur_frame;
state->frame[0] = kzalloc_obj(struct bpf_func_state, GFP_KERNEL_ACCOUNT);
struct bpf_func_state *state)
struct bpf_func_state *state,
struct bpf_func_state *frame;
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *func;
struct bpf_func_state *func;
struct bpf_func_state *func;
struct bpf_func_state *state,
struct bpf_func_state *state, int insn_idx, int off)
struct bpf_func_state *state,
struct bpf_func_state *cur; /* state of the current function */
struct bpf_func_state *state,
struct bpf_func_state *cur; /* state of the current function */
struct bpf_func_state *ptr_state,
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *reg_state,
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *ptr_state = func(env, reg);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *state = vstate->frame[vstate->curframe];
static struct bpf_func_state *func(struct bpf_verifier_env *env,
static bool is_spi_bounds_valid(struct bpf_func_state *state, int spi, int nr_slots)
struct bpf_func_state *state,
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state, int spi);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, reg);
static void invalidate_dynptr(struct bpf_verifier_env *env, struct bpf_func_state *state, int spi)
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state, int spi)
struct bpf_func_state *fold, *fcur;
struct bpf_func_state *fstate;
struct bpf_func_state *cur_fr = cur_st->frame[cur_st->curframe], *queued_fr;
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, key);
struct bpf_func_state *state = func(env, reg);
struct bpf_func_state *state = func(env, reg);