bpf_mark_stack_read
int bpf_mark_stack_read(struct bpf_verifier_env *env, u32 frameno, u32 insn_idx, u64 mask);
err = bpf_mark_stack_read(env, reg->frameno, env->insn_idx, BIT(spi - i));
err = bpf_mark_stack_read(env, reg_state->frameno, env->insn_idx, BIT(spi));
err = bpf_mark_stack_read(env, reg->frameno, env->insn_idx, BIT(spi));