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;
static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env)
static inline struct bpf_func_state *bpf_func(struct bpf_verifier_env *env,
struct bpf_func_state *frame[MAX_CALL_FRAMES];
bpf_get_spilled_reg(int slot, struct bpf_func_state *frame, u32 mask)
bpf_get_spilled_stack_arg(int slot, struct bpf_func_state *frame)
struct bpf_func_state *func;
struct bpf_func_state *func;
const struct bpf_func_state *state,
const struct bpf_func_state *state = vstate->frame[frameno];
struct bpf_func_state *state;
struct bpf_func_state *fold, *fcur;
struct bpf_func_state *state;
struct bpf_func_state *func;
struct bpf_func_state *frame = sl->state.frame[sl->state.curframe];
struct bpf_func_state *cur_frame;
struct bpf_func_state *st,
static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old,
struct bpf_func_state *cur, struct bpf_idmap *idmap,
static bool stack_arg_safe(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 = bpf_func(env, reg);
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *state = bpf_func(env, reg);
get_kfunc_ptr_arg_type(struct bpf_verifier_env *env, struct bpf_func_state *caller,
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *unused;
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *caller = cur_func(env);
struct bpf_func_state *caller = cur_func(env);
static int copy_stack_state(struct bpf_func_state *dst, const struct bpf_func_state *src)
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, int cnt)
struct bpf_func_state *state = vstate->frame[vstate->curframe];
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];
static void free_func_state(struct bpf_func_state *state)
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 *cur_frame = cur_func(env);
struct bpf_func_state *state = cur->frame[cur->curframe];
struct bpf_func_state *func;
struct bpf_func_state *cur_frame = cur_func(env);
struct bpf_func_state *state = vstate->frame[vstate->curframe];
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 *state,
struct bpf_func_state *state, int insn_idx, int off)
static void scrub_special_slot(struct bpf_func_state *state, int spi)
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 = bpf_func(env, reg);
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *state = bpf_func(env, reg);
static int check_stack_arg_write(struct bpf_verifier_env *env, struct bpf_func_state *state,
static int check_stack_arg_read(struct bpf_verifier_env *env, struct bpf_func_state *state,
struct bpf_func_state *caller, *cur;
struct bpf_func_state *caller = cur_func(env);
static int check_outgoing_stack_args(struct bpf_verifier_env *env, struct bpf_func_state *caller,
static struct bpf_reg_state *get_func_arg_reg(struct bpf_func_state *caller,
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 = bpf_func(env, reg);
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *state, int spi);
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *fold, *fcur;
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *cur_fr = cur_st->frame[cur_st->curframe], *queued_fr;
struct bpf_func_state *state;
struct bpf_func_state *state, int spi)
struct bpf_func_state *state = bpf_func(env, key);
struct bpf_func_state *state = bpf_func(env, reg);
struct bpf_func_state *state;
struct bpf_func_state *state = vstate->frame[vstate->curframe];
struct bpf_func_state *state;
struct bpf_func_state *unused;
struct bpf_func_state *state;
struct bpf_func_state *state;
struct bpf_func_state *state)
struct bpf_func_state *state = bpf_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, *callee;
struct bpf_func_state *caller = cur_func(env);
struct bpf_func_state *caller, *callee;
struct bpf_func_state *caller;
struct bpf_func_state *state = bpf_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 = bpf_func(env, reg);