Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/jffs2/wbuf.c jffs2_wbuf_recover() -> jffs2_sum_disable_collecting()

Type Parameter Key Value
PARAM_VALUE 0 *s->sum_list_head->d.name 0-255
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &c->wbuf_sem
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->xattr_sem
TYPE_LOCK (struct jffs2_sb_info)->wbuf_sem

fs/jffs2/summary.c jffs2_sum_exit() -> jffs2_sum_disable_collecting()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jffs2/summary.c jffs2_sum_write_data() -> jffs2_sum_disable_collecting()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sum_list_head 1-u64max
PARAM_VALUE 0 s->sum_num 1-u32max
PARAM_VALUE 0 s->sum_size 0-4294967294
PARAM_VALUE 0 *s->sum_list_head->d.name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->wbuf_sem
HALF_LOCKED2 &c->xattr_sem
HALF_LOCKED2 &f->sem

fs/jffs2/summary.c jffs2_sum_write_data() -> jffs2_sum_disable_collecting()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sum_list_head 1-u64max
PARAM_VALUE 0 s->sum_num 1-u32max
PARAM_VALUE 0 s->sum_size 0-4294967294
PARAM_VALUE 0 *s->sum_list_head->d.name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->wbuf_sem
HALF_LOCKED2 &c->xattr_sem
HALF_LOCKED2 &f->sem

fs/jffs2/summary.c jffs2_sum_write_data() -> jffs2_sum_disable_collecting()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sum_list_head 4096-ptr_max
PARAM_VALUE 0 s->sum_num 1-u32max
PARAM_VALUE 0 s->sum_size 0-4294967294
PARAM_VALUE 0 *s->sum_list_head->d.name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->wbuf_sem
HALF_LOCKED2 &c->xattr_sem
HALF_LOCKED2 &f->sem