bpf_mark_stack_write
void bpf_mark_stack_write(struct bpf_verifier_env *env, u32 frameno, u64 mask);
bpf_mark_stack_write(env, frame, insn->must_write_acc);
bpf_mark_stack_write(env, state->frameno, BIT(spi - i));
bpf_mark_stack_write(env, state->frameno, BIT(spi - i));
bpf_mark_stack_write(env, reg->frameno, BIT(spi));
bpf_mark_stack_write(env, reg->frameno, BIT(spi));
bpf_mark_stack_write(env, state->frameno, BIT(spi));
bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi));
bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi));
bpf_mark_stack_write(env, state->frameno, BIT(spi - 1) | BIT(spi));