Lines Matching refs:bpf_verifier_env
51 static void mark_subprog_changes_pkt_data(struct bpf_verifier_env *env, int off) in mark_subprog_changes_pkt_data()
59 static void mark_subprog_might_sleep(struct bpf_verifier_env *env, int off) in mark_subprog_might_sleep()
67 static void mark_subprog_might_throw(struct bpf_verifier_env *env, int off) in mark_subprog_might_throw()
81 static void merge_callee_effects(struct bpf_verifier_env *env, int t, int w) in merge_callee_effects()
102 static int push_insn(int t, int w, int e, struct bpf_verifier_env *env) in push_insn()
151 struct bpf_verifier_env *env, in visit_func_call_insn()
279 static struct bpf_iarray *jt_from_subprog(struct bpf_verifier_env *env, in jt_from_subprog()
327 create_jt(int t, struct bpf_verifier_env *env) in create_jt()
355 static int visit_gotox_insn(int t, struct bpf_verifier_env *env) in visit_gotox_insn()
402 static int visit_abnormal_return_insn(struct bpf_verifier_env *env, int t) in visit_abnormal_return_insn()
426 static int visit_insn(int t, struct bpf_verifier_env *env) in visit_insn()
562 int bpf_check_cfg(struct bpf_verifier_env *env) in bpf_check_cfg()
655 int bpf_compute_postorder(struct bpf_verifier_env *env) in bpf_compute_postorder()
708 int bpf_compute_scc(struct bpf_verifier_env *env) in bpf_compute_scc()