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/summary.c jffs2_sum_write_data() -> jffs2_sum_reset_collected()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sum_num 0
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/nodemgmt.c jffs2_find_nextblock() -> jffs2_sum_reset_collected()

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->erase_completion_lock
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->wbuf_sem
HALF_LOCKED2 &c->xattr_sem
HALF_LOCKED2 &f->sem
TYPE_LOCK (struct jffs2_sb_info)->erase_completion_lock

fs/jffs2/scan.c jffs2_scan_medium() -> jffs2_sum_reset_collected()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s 40
DATA_SOURCE 0 s r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

fs/jffs2/scan.c jffs2_scan_medium() -> jffs2_sum_reset_collected()

Type Parameter Key Value
PARAM_VALUE 0 s->sum_buf 16,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex

fs/jffs2/scan.c jffs2_scan_medium() -> jffs2_sum_reset_collected()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s 40
DATA_SOURCE 0 s r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex