Lines Matching defs:bpf_verifier_env

573 struct bpf_verifier_env {  struct
574 	u32 insn_idx;
575 	u32 prev_insn_idx;
576 	struct bpf_prog *prog;		/* eBPF program being verified */
577 	const struct bpf_verifier_ops *ops;
578 	struct bpf_verifier_stack_elem *head; /* stack of verifier states to be processed */
579 	int stack_size;			/* number of states to be processed */
580 	bool strict_alignment;		/* perform strict pointer alignment checks */
581 	bool test_state_freq;		/* test verifier with different pruning frequency */
582 	struct bpf_verifier_state *cur_state; /* current verifier state */
583 	struct bpf_verifier_state_list **explored_states; /* search pruning optimization */
584 	struct bpf_verifier_state_list *free_list;
585 	struct bpf_map *used_maps[MAX_USED_MAPS]; /* array of map's used by eBPF program */
586 	struct btf_mod_pair used_btfs[MAX_USED_BTFS]; /* array of BTF's used by BPF program */
587 	u32 used_map_cnt;		/* number of used maps */
588 	u32 used_btf_cnt;		/* number of used BTF objects */
589 	u32 id_gen;			/* used to generate unique reg IDs */
590 	bool explore_alu_limits;
591 	bool allow_ptr_leaks;
592 	bool allow_uninit_stack;
593 	bool bpf_capable;
594 	bool bypass_spec_v1;
595 	bool bypass_spec_v4;
596 	bool seen_direct_write;
597 	struct bpf_insn_aux_data *insn_aux_data; /* array of per-insn state */
598 	const struct bpf_line_info *prev_linfo;
599 	struct bpf_verifier_log log;
600 	struct bpf_subprog_info subprog_info[BPF_MAX_SUBPROGS + 1];
601 	union {
605 	struct {
609 	} cfg;
610 	struct backtrack_state bt;
611 	u32 pass_cnt; /* number of times do_check() was called */
612 	u32 subprog_cnt;
614 	u32 prev_insn_processed, insn_processed;
616 	u32 prev_jmps_processed, jmps_processed;
618 	u64 verification_time;
620 	u32 max_states_per_insn;
622 	u32 total_states;
647 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,  argument