122 	u32 insn_idx;  member
248 static int relative_idx(struct func_instance *instance, u32 insn_idx)  in relative_idx()  argument
250 	return insn_idx - instance->callchain.sp_starts[instance->callchain.curframe];  in relative_idx()
254 					       u32 frame, u32 insn_idx)  in get_frame_masks()  argument
259 	return &instance->frames[frame][relative_idx(instance, insn_idx)];  in get_frame_masks()
264 						 u32 frame, u32 insn_idx)  in alloc_frame_masks()  argument
274 	return get_frame_masks(instance, frame, insn_idx);  in alloc_frame_masks()
301 			   struct func_instance *instance, u32 frame, u32 insn_idx, u64 mask)  in mark_stack_read()  argument
306 	masks = alloc_frame_masks(env, instance, frame, insn_idx);  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()  argument
322 	err = err ?: mark_stack_read(env, env->liveness->cur_instance, frame, insn_idx, mask);  in bpf_mark_stack_read()
327 				    struct func_instance *instance, u32 insn_idx)  in reset_stack_write_marks()  argument
332 	liveness->write_insn_idx = insn_idx;  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()  argument
346 	reset_stack_write_marks(env, liveness->cur_instance, insn_idx);  in bpf_reset_stack_write_marks()
418 			    char *pfx, u32 frame, u32 insn_idx, u64 old, u64 new)  in log_mask_change()  argument
426 	bpf_log(&env->log, "%s frame %d insn %d ", fmt_callchain(env, callchain), frame, insn_idx);  in log_mask_change()
544 			       struct func_instance *instance, u32 frame, u32 insn_idx)  in update_insn()  argument
552 	succ_num = bpf_insn_successors(env->prog, insn_idx, succ);  in update_insn()
557 	insn = get_frame_masks(instance, frame, insn_idx);  in update_insn()
580 	     insn_idx == callchain_subprog_start(&instance->callchain) ||  in update_insn()
581 	     aux[insn_idx].prune_point)) {  in update_insn()
583 				frame, insn_idx, insn->live_before, new_before);  in update_insn()
585 				frame, insn_idx, insn->must_write_acc, must_write_acc);  in update_insn()
681 static bool is_live_before(struct func_instance *instance, u32 insn_idx, u32 frameno, u32 spi)  in is_live_before()  argument
685 	masks = get_frame_masks(instance, frameno, insn_idx);  in is_live_before()
703 	q->insn_idx = st->insn_idx;  in bpf_live_stack_query_init()
721 	if (is_live_before(curframe_instance, q->insn_idx, frameno, spi))  in bpf_stack_slot_alive()