139 static void compute_callchain(struct bpf_verifier_env *env, struct bpf_verifier_state *st,  in compute_callchain()
177 static struct func_instance *__lookup_instance(struct bpf_verifier_env *env,  in __lookup_instance()
208 static struct func_instance *lookup_instance(struct bpf_verifier_env *env,  in lookup_instance()
218 int bpf_stack_liveness_init(struct bpf_verifier_env *env)  in bpf_stack_liveness_init()
227 void bpf_stack_liveness_free(struct bpf_verifier_env *env)  in bpf_stack_liveness_free()
262 static struct per_frame_masks *alloc_frame_masks(struct bpf_verifier_env *env,  in alloc_frame_masks()
277 void bpf_reset_live_stack_callchain(struct bpf_verifier_env *env)  in bpf_reset_live_stack_callchain()
283 static int ensure_cur_instance(struct bpf_verifier_env *env)  in ensure_cur_instance()
300 static int mark_stack_read(struct bpf_verifier_env *env,  in mark_stack_read()
317 int bpf_mark_stack_read(struct bpf_verifier_env *env, u32 frame, u32 insn_idx, u64 mask)  in bpf_mark_stack_read()
326 static void reset_stack_write_marks(struct bpf_verifier_env *env,  in reset_stack_write_marks()
337 int bpf_reset_stack_write_marks(struct bpf_verifier_env *env, u32 insn_idx)  in bpf_reset_stack_write_marks()
350 void bpf_mark_stack_write(struct bpf_verifier_env *env, u32 frame, u64 mask)  in bpf_mark_stack_write()
355 static int commit_stack_write_marks(struct bpf_verifier_env *env,  in commit_stack_write_marks()
399 int bpf_commit_stack_write_marks(struct bpf_verifier_env *env)  in bpf_commit_stack_write_marks()
404 static char *fmt_callchain(struct bpf_verifier_env *env, struct callchain *callchain)  in fmt_callchain()
417 static void log_mask_change(struct bpf_verifier_env *env, struct callchain *callchain,  in log_mask_change()
494 static struct func_instance *get_outer_instance(struct bpf_verifier_env *env,  in get_outer_instance()
516 static int propagate_to_outer_instance(struct bpf_verifier_env *env,  in propagate_to_outer_instance()
543 static inline bool update_insn(struct bpf_verifier_env *env,  in update_insn()
593 static int update_instance(struct bpf_verifier_env *env, struct func_instance *instance)  in update_instance()
659 int bpf_update_live_stack(struct bpf_verifier_env *env)  in bpf_update_live_stack()
689 int bpf_live_stack_query_init(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in bpf_live_stack_query_init()
707 bool bpf_stack_slot_alive(struct bpf_verifier_env *env, u32 frameno, u32 spi)  in bpf_stack_slot_alive()