61 static struct func_instance *find_instance(struct bpf_verifier_env *env,  in find_instance()
74 static struct func_instance *call_instance(struct bpf_verifier_env *env,  in call_instance()
101 static struct func_instance *lookup_instance(struct bpf_verifier_env *env,  in lookup_instance()
120 int bpf_stack_liveness_init(struct bpf_verifier_env *env)  in bpf_stack_liveness_init()
129 void bpf_stack_liveness_free(struct bpf_verifier_env *env)  in bpf_stack_liveness_free()
218 bpf_insn_successors(struct bpf_verifier_env *env, u32 idx)  in bpf_insn_successors()
273 static inline bool update_insn(struct bpf_verifier_env *env,  in update_insn()
307 static void update_instance(struct bpf_verifier_env *env, struct func_instance *instance)  in update_instance()
339 int bpf_live_stack_query_init(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in bpf_live_stack_query_init()
360 bool bpf_stack_slot_alive(struct bpf_verifier_env *env, u32 frameno, u32 half_spi)  in bpf_stack_slot_alive()
408 static char *fmt_subprog(struct bpf_verifier_env *env, int subprog)  in fmt_subprog()
417 static char *fmt_instance(struct bpf_verifier_env *env, struct func_instance *instance)  in fmt_instance()
434 static char *fmt_spis_mask(struct bpf_verifier_env *env, int frame, bool first, spis_t spis)  in fmt_spis_mask()
478 static void print_instance(struct bpf_verifier_env *env, struct func_instance *instance)  in print_instance()
546 static int print_instances(struct bpf_verifier_env *env)  in print_instances()
623 static void verbose_arg_track(struct bpf_verifier_env *env, struct arg_track *at)  in verbose_arg_track()
780 static bool arg_track_join(struct bpf_verifier_env *env, int idx, int target, int r,  in arg_track_join()
1014 static void arg_track_log(struct bpf_verifier_env *env, struct bpf_insn *insn, int idx,  in arg_track_log()
1062 static void arg_track_xfer(struct bpf_verifier_env *env, struct bpf_insn *insn,  in arg_track_xfer()
1289 static int record_load_store_access(struct bpf_verifier_env *env,  in record_load_store_access()
1347 static int record_call_access(struct bpf_verifier_env *env,  in record_call_access()
1399 static int find_callback_subprog(struct bpf_verifier_env *env,  in find_callback_subprog()
1452 static void print_subprog_arg_access(struct bpf_verifier_env *env,  in print_subprog_arg_access()
1532 static int compute_subprog_args(struct bpf_verifier_env *env,  in compute_subprog_args()
1756 static int analyze_subprog(struct bpf_verifier_env *env,  in analyze_subprog()
1898 int bpf_compute_subprog_arg_access(struct bpf_verifier_env *env)  in bpf_compute_subprog_arg_access()
1968 static void compute_insn_live_regs(struct bpf_verifier_env *env,  in compute_insn_live_regs()
2111 int bpf_compute_live_registers(struct bpf_verifier_env *env)  in bpf_compute_live_registers()