Home
last modified time | relevance | path

Searched defs:verifier_env (Results 1 – 1 of 1) sorted by relevance

/linux-4.4.14/kernel/bpf/
Dverifier.c194 struct verifier_env { struct
195 struct bpf_prog *prog; /* eBPF program being verified */
196 struct verifier_stack_elem *head; /* stack of verifier states to be processed */
197 int stack_size; /* number of states to be processed */
198 struct verifier_state cur_state; /* current verifier state */
199 struct verifier_state_list **explored_states; /* search pruning optimization */
200 struct bpf_map *used_maps[MAX_USED_MAPS]; /* array of map's used by eBPF program */
201 u32 used_map_cnt; /* number of used maps */
202 bool allow_ptr_leaks;