Home
last modified time | relevance | path

Searched refs:bpf_func_state (Results 1 – 8 of 8) sorted by relevance

/linux/kernel/bpf/
H A Ddiagnostics.h13 struct bpf_func_state;
47 void bpf_diag_init_frame(struct bpf_verifier_env *env, struct bpf_func_state *state);
104 const struct bpf_func_state *state, s16 min_off, s16 max_off,
H A Dstates.c399 struct bpf_func_state *st, in __clean_func_state()
702 static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old, in stacksafe()
703 struct bpf_func_state *cur, struct bpf_idmap *idmap, in stacksafe()
847 static bool stack_arg_safe(struct bpf_verifier_env *env, struct bpf_func_state *old, in stack_arg_safe()
848 struct bpf_func_state *cur, struct bpf_idmap *idmap, in stack_arg_safe()
945 static bool func_states_equal(struct bpf_verifier_env *env, struct bpf_func_state *old, in func_states_equal()
946 struct bpf_func_state *cur, u32 insn_idx, enum exact_level exact) in func_states_equal()
1027 struct bpf_func_state *state; in propagate_precision()
1117 struct bpf_func_state *fold, *fcur; in states_maybe_looping()
1193 struct bpf_func_state *state; in iter_active_depths_differ()
[all …]
H A Dverifier.c536 static bool is_spi_bounds_valid(struct bpf_func_state *state, int spi, int nr_slots) in is_spi_bounds_valid()
660 struct bpf_func_state *state, int spi);
666 struct bpf_func_state *state = bpf_func(env, reg); in mark_stack_slots_dynptr()
746 struct bpf_func_state *state = bpf_func(env, reg); in unmark_stack_slots_dynptr()
778 struct bpf_func_state *state; in dynptr_ref_cnt()
795 struct bpf_func_state *state, int spi) in destroy_if_dynptr_stack_slot()
866 struct bpf_func_state *state = bpf_func(env, reg); in is_dynptr_reg_valid_init()
895 struct bpf_func_state *state; in dynptr_reg_type()
929 struct bpf_func_state *state = bpf_func(env, reg); in mark_stack_slots_iter()
970 struct bpf_func_state *state = bpf_func(env, reg); in unmark_stack_slots_iter()
[all …]
H A Ddiagnostics.c245 void bpf_diag_init_frame(struct bpf_verifier_env *env, struct bpf_func_state *state) in bpf_diag_init_frame()
901 static const struct bpf_func_state *diag_current_frame(const struct bpf_verifier_env *env) in diag_current_frame()
909 const struct bpf_func_state *frame = diag_current_frame(env); in bpf_diag_register_type()
999 const struct bpf_func_state *frame = diag_current_frame(env); in bpf_diag_call_type()
1236 const struct bpf_func_state *frame = diag_current_frame(env); in bpf_diag_invalid_deref()
1301 const struct bpf_func_state *frame = diag_current_frame(env); in bpf_diag_unreadable_reg()
1381 const struct bpf_func_state *frame = diag_current_frame(env); in bpf_diag_stack_arg_uninit()
1461 const struct bpf_func_state *state; in diag_mod_insn_origin()
1552 struct bpf_func_state *state; in target_to_reg()
1587 struct bpf_func_state *state = vstate->frame[frame]; in reg_to_target()
[all …]
H A Dbacktrack.c658 struct bpf_func_state *func; in bpf_mark_all_scalars_precise()
799 struct bpf_func_state *func; in bpf_mark_chain_precision()
H A Dlog.c625 const struct bpf_func_state *state, in print_reg_state()
703 const struct bpf_func_state *state = vstate->frame[frameno]; in print_verifier_state()
/linux/include/linux/
H A Dbpf_verifier.h348 struct bpf_func_state { struct
449 struct bpf_func_state *frame[MAX_CALL_FRAMES];
533 bpf_get_spilled_reg(int slot, struct bpf_func_state *frame, u32 mask) in bpf_get_spilled_reg()
542 bpf_get_spilled_stack_arg(int slot, struct bpf_func_state *frame) in bpf_get_spilled_stack_arg()
1145 static inline struct bpf_func_state *cur_func(struct bpf_verifier_env *env) in cur_func()
1227 static inline struct bpf_func_state *bpf_func(struct bpf_verifier_env *env, in bpf_func()
H A Dbpf.h59 struct bpf_func_state;
179 struct bpf_func_state *caller,
180 struct bpf_func_state *callee);
3027 struct bpf_func_state *caller,
3028 struct bpf_func_state *callee);