Searched refs:verifier_env (Results 1 – 1 of 1) sorted by relevance
| /linux-4.4.14/kernel/bpf/ |
| D | verifier.c | 194 struct verifier_env { struct
242 static void print_verifier_state(struct verifier_env *env) in print_verifier_state()
413 static int pop_stack(struct verifier_env *env, int *prev_insn_idx) in pop_stack()
432 static struct verifier_state *push_stack(struct verifier_env *env, int insn_idx, in push_stack()
627 static int check_map_access(struct verifier_env *env, u32 regno, int off, in check_map_access()
641 static int check_ctx_access(struct verifier_env *env, int off, int size, in check_ctx_access()
652 static bool is_pointer_value(struct verifier_env *env, int regno) in is_pointer_value()
672 static int check_mem_access(struct verifier_env *env, u32 regno, int off, in check_mem_access()
736 static int check_xadd(struct verifier_env *env, struct bpf_insn *insn) in check_xadd()
772 static int check_stack_boundary(struct verifier_env *env, in check_stack_boundary()
[all …]
|