check_stack_range_initialized
static int check_stack_range_initialized(struct bpf_verifier_env *env, struct bpf_reg_state *reg,
err = check_stack_range_initialized(env, reg, ptr_argno, off, size,
return check_stack_range_initialized(