Lines Matching defs:bpf_verifier_env
660 struct bpf_verifier_env { struct
661 u32 insn_idx;
662 u32 prev_insn_idx;
663 struct bpf_prog *prog; /* eBPF program being verified */
664 const struct bpf_verifier_ops *ops;
665 struct bpf_verifier_stack_elem *head; /* stack of verifier states to be processed */
666 int stack_size; /* number of states to be processed */
667 bool strict_alignment; /* perform strict pointer alignment checks */
668 bool test_state_freq; /* test verifier with different pruning frequency */
669 bool test_reg_invariants; /* fail verification on register invariants violations */
670 struct bpf_verifier_state *cur_state; /* current verifier state */
671 struct bpf_verifier_state_list **explored_states; /* search pruning optimization */
672 struct bpf_verifier_state_list *free_list;
673 struct bpf_map *used_maps[MAX_USED_MAPS]; /* array of map's used by eBPF program */
674 struct btf_mod_pair used_btfs[MAX_USED_BTFS]; /* array of BTF's used by BPF program */
675 u32 used_map_cnt; /* number of used maps */
676 u32 used_btf_cnt; /* number of used BTF objects */
677 u32 id_gen; /* used to generate unique reg IDs */
678 u32 hidden_subprog_cnt; /* number of hidden subprogs */
679 int exception_callback_subprog;
680 bool explore_alu_limits;
681 bool allow_ptr_leaks;
686 bool allow_uninit_stack;
687 bool bpf_capable;
688 bool bypass_spec_v1;
689 bool bypass_spec_v4;
690 bool seen_direct_write;
691 bool seen_exception;
692 struct bpf_insn_aux_data *insn_aux_data; /* array of per-insn state */
693 const struct bpf_line_info *prev_linfo;
694 struct bpf_verifier_log log;
695 …_subprog_info subprog_info[BPF_MAX_SUBPROGS + 2]; /* max + 2 for the fake and exception subprogs */
696 union {
700 struct {
704 } cfg;
705 struct backtrack_state bt;
706 struct bpf_jmp_history_entry *cur_hist_ent;
707 u32 pass_cnt; /* number of times do_check() was called */
708 u32 subprog_cnt;
710 u32 prev_insn_processed, insn_processed;
712 u32 prev_jmps_processed, jmps_processed;
714 u64 verification_time;
716 u32 max_states_per_insn;
741 static inline struct bpf_func_info_aux *subprog_aux(struct bpf_verifier_env *env, int subprog) in subprog_aux() argument