커널 sget()함수 분석 질문

안녕하세요.

커널 소스를 보는데, 이해가 되지 않는 부분이 있어서 질문 올립니다.
아래 함수는 sget() 함수로 보통 마운트 할때 불려지는 함수입니다.
제가 궁금한 내용은 만약에 test 하고 set 함수가 제공되었고, 특히 test함수가 해당 sb가 있으면 1을 리턴하고 그렇지 않으면 0을 리턴한다고 했을때 코드가 어떻게 흘러가야
err = set(s, data);
라인으로 갈수 있는지 잘 모르겠습니다.

저의 부족한 실력으로 인해 함수를 읽다보니 위의 언급한 라인 밑으로는 내려가는 경우를 찾을수가 없네요.

조언 부탁드립니다.

struct super_block *sget(struct file_system_type *type,
                        int (*test)(struct super_block *,void *),
                        int (*set)(struct super_block *,void *),
                        void *data)
{
        struct super_block *s = NULL;
        struct list_head *p;
        int err;

retry:
        spin_lock(&sb_lock);
        if (test) list_for_each(p, &type->fs_supers) {
                struct super_block *old;
                old = list_entry(p, struct super_block, s_instances);
                if (!test(old, data))
                        continue;
                if (!grab_super(old))
                        goto retry;
                if (s)
                        destroy_super(s);
                return old;
        }
        if (!s) {
                spin_unlock(&sb_lock);
                s = alloc_super();
                if (!s)
                        return ERR_PTR(-ENOMEM);
                goto retry;
        }

        err = set(s, data);
        if (err) {
                spin_unlock(&sb_lock);
                destroy_super(s);
                return ERR_PTR(err);
        }
        s->s_type = type;
        strlcpy(s->s_id, type->name, sizeof(s->s_id));
        list_add_tail(&s->s_list, &super_blocks);
        list_add(&s->s_instances, &type->fs_supers);
        spin_unlock(&sb_lock);
        get_filesystem(type);
        return s;
}