bpf_reset_stack_write_marks
int bpf_reset_stack_write_marks(struct bpf_verifier_env *env, u32 insn_idx);
err = bpf_reset_stack_write_marks(env, env->insn_idx);