Lines Matching defs:bpf_verifier_env
516 struct bpf_verifier_env { struct
517 u32 insn_idx;
518 u32 prev_insn_idx;
519 struct bpf_prog *prog; /* eBPF program being verified */
520 const struct bpf_verifier_ops *ops;
521 struct bpf_verifier_stack_elem *head; /* stack of verifier states to be processed */
522 int stack_size; /* number of states to be processed */
523 bool strict_alignment; /* perform strict pointer alignment checks */
524 bool test_state_freq; /* test verifier with different pruning frequency */
525 struct bpf_verifier_state *cur_state; /* current verifier state */
526 struct bpf_verifier_state_list **explored_states; /* search pruning optimization */
527 struct bpf_verifier_state_list *free_list;
528 struct bpf_map *used_maps[MAX_USED_MAPS]; /* array of map's used by eBPF program */
529 struct btf_mod_pair used_btfs[MAX_USED_BTFS]; /* array of BTF's used by BPF program */
530 u32 used_map_cnt; /* number of used maps */
531 u32 used_btf_cnt; /* number of used BTF objects */
532 u32 id_gen; /* used to generate unique reg IDs */
533 bool explore_alu_limits;
534 bool allow_ptr_leaks;
535 bool allow_uninit_stack;
536 bool bpf_capable;
537 bool bypass_spec_v1;
538 bool bypass_spec_v4;
539 bool seen_direct_write;
540 bool rcu_tag_supported;
541 struct bpf_insn_aux_data *insn_aux_data; /* array of per-insn state */
542 const struct bpf_line_info *prev_linfo;
543 struct bpf_verifier_log log;
544 struct bpf_subprog_info subprog_info[BPF_MAX_SUBPROGS + 1];
545 struct bpf_id_pair idmap_scratch[BPF_ID_MAP_SIZE];
546 struct {
550 } cfg;
551 u32 pass_cnt; /* number of times do_check() was called */
552 u32 subprog_cnt;
554 u32 prev_insn_processed, insn_processed;
556 u32 prev_jmps_processed, jmps_processed;
558 u64 verification_time;
560 u32 max_states_per_insn;
585 __printf(2, 3) void bpf_verifier_log_write(struct bpf_verifier_env *env, argument