Lines Matching defs:bpf_verifier_env

377 struct bpf_verifier_env {  struct
378 	u32 insn_idx;
379 	u32 prev_insn_idx;
380 	struct bpf_prog *prog;		/* eBPF program being verified */
381 	const struct bpf_verifier_ops *ops;
382 	struct bpf_verifier_stack_elem *head; /* stack of verifier states to be processed */
383 	int stack_size;			/* number of states to be processed */
384 	bool strict_alignment;		/* perform strict pointer alignment checks */
385 	bool test_state_freq;		/* test verifier with different pruning frequency */
386 	struct bpf_verifier_state *cur_state; /* current verifier state */
387 	struct bpf_verifier_state_list **explored_states; /* search pruning optimization */
388 	struct bpf_verifier_state_list *free_list;
389 	struct bpf_map *used_maps[MAX_USED_MAPS]; /* array of map's used by eBPF program */
390 	u32 used_map_cnt;		/* number of used maps */
391 	u32 id_gen;			/* used to generate unique reg IDs */
392 	bool allow_ptr_leaks;
393 	bool allow_ptr_to_map_access;
394 	bool bpf_capable;
395 	bool bypass_spec_v1;
396 	bool bypass_spec_v4;
397 	bool seen_direct_write;
398 	struct bpf_insn_aux_data *insn_aux_data; /* array of per-insn state */
399 	const struct bpf_line_info *prev_linfo;
400 	struct bpf_verifier_log log;
401 	struct bpf_subprog_info subprog_info[BPF_MAX_SUBPROGS + 1];
402 	struct {
406 	} cfg;
430 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env,  argument