jffs2_sum_exit identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

fs/jffs2/summary.h, line 176 (as a prototype)

Defined in 1 files as a macro:

fs/jffs2/summary.h, line 197 (as a macro)

Defined in 1 files as a function:

fs/jffs2/summary.c, line 50 (as a function)

Referenced in 3 files:

Smatch caller information:

fs/jffs2/fs.c jffs2_do_fill_super() -> jffs2_sum_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	c	4096-ptr_max
PARAM_VALUE	0	c->bad_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->bad_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->bad_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->bad_used_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->bad_used_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->bad_used_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->clean_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->clean_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->clean_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->dirty_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->dirty_list.next->prev	4096-ptr_max
PARAM_VALUE	0	c->dirty_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->dirty_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erasable_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erasable_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erasable_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erasable_pending_wbuf_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erasable_pending_wbuf_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erasable_pending_wbuf_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erase_checking_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erase_checking_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erase_checking_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erase_complete_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erase_complete_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erase_complete_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erase_completion_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	c->erase_pending_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erase_pending_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erase_pending_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erasing_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erasing_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erasing_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->free_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->free_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->free_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->mtd->type	0-7,9-255
PARAM_VALUE	0	c->nr_blocks	0-s32max
PARAM_VALUE	0	c->resv_blocks_deletion	2
PARAM_VALUE	0	c->resv_blocks_gcbad	0
PARAM_VALUE	0	c->resv_blocks_gcmerge	3
PARAM_VALUE	0	c->summary->sum_buf	16,4096-ptr_max
PARAM_VALUE	0	c->summary->sum_list_head	0,4096-ptr_max
PARAM_VALUE	0	c->summary->sum_list_tail	0,4096-ptr_max
PARAM_VALUE	0	c->very_dirty_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->very_dirty_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->very_dirty_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->wbuf_sem.dep_map->name	0-255
PARAM_VALUE	0	c->wbuf_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	c->wbuf_sem.first_waiter->list.next	2212933610777083904
PARAM_VALUE	0	c->wbuf_sem.first_waiter->list.prev	2212933610777083904
PARAM_VALUE	0	c->wbuf_sem.first_waiter->type	0-1
PARAM_VALUE	0	c->xattr_dead_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->xattr_dead_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->xattr_dead_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->xattr_sem.dep_map->name	0-255
PARAM_VALUE	0	c->xattr_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	c->xattr_sem.first_waiter->type	0-1
PARAM_VALUE	0	c->xattr_unchecked.next->next	4096-ptr_max
PARAM_VALUE	0	c->xattr_unchecked.prev->next	4096-ptr_max
PARAM_VALUE	0	c->xattr_unchecked.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->xref_temp	0
PARAM_VALUE	0	c->xref_temp->ic	0-u32max
PARAM_VALUE	0	c->xref_temp->xd	0-u32max
BUF_SIZE	0	c	1-s32max
BUF_SIZE	0	c	1-s32max
CAPPED_DATA	0	c->inocache_hashsize	1
CAPPED_DATA	0	c->nr_blocks	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	c->inocache_hashsize
NO_OVERFLOW_SIMPLE	0	c->oobavail
UNITS	0	c	unit_byte
HALF_LOCKED2		&fc->uapi_mutex

fs/jffs2/build.c jffs2_do_mount_fs() -> jffs2_sum_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	c	4096-ptr_max
PARAM_VALUE	0	c->bad_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->bad_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->bad_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->bad_used_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->bad_used_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->bad_used_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->clean_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->clean_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->clean_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->dirty_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->dirty_list.next->prev	4096-ptr_max
PARAM_VALUE	0	c->dirty_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->dirty_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erasable_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erasable_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erasable_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erasable_pending_wbuf_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erasable_pending_wbuf_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erasable_pending_wbuf_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erase_checking_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erase_checking_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erase_checking_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erase_complete_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erase_complete_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erase_complete_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erase_pending_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erase_pending_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erase_pending_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->erasing_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->erasing_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->erasing_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->free_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->free_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->free_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->gc_task->sighand->siglock.rlock.dep_map->name	0-255
PARAM_VALUE	0	c->mtd->type	0-7,9-255
PARAM_VALUE	0	c->nr_blocks	0-s32max
PARAM_VALUE	0	c->summary->sum_buf	16,4096-ptr_max
PARAM_VALUE	0	c->very_dirty_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->very_dirty_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->very_dirty_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->wbuf_sem.dep_map->name	0-255
PARAM_VALUE	0	c->wbuf_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	c->wbuf_sem.first_waiter->type	0-1
PARAM_VALUE	0	c->xattr_dead_list.next->next	4096-ptr_max
PARAM_VALUE	0	c->xattr_dead_list.prev->next	4096-ptr_max
PARAM_VALUE	0	c->xattr_dead_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->xattr_sem.dep_map->name	0-255
PARAM_VALUE	0	c->xattr_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	c->xattr_sem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	c->xattr_sem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	c->xattr_sem.first_waiter->type	0-1
PARAM_VALUE	0	c->xattr_unchecked.next->next	4096-ptr_max
PARAM_VALUE	0	c->xattr_unchecked.prev->next	4096-ptr_max
PARAM_VALUE	0	c->xattr_unchecked.prev->prev	4096-ptr_max
PARAM_VALUE	0	c->xref_temp->ic	0-u32max
PARAM_VALUE	0	c->xref_temp->xd	0-u32max
PARAM_VALUE	0	*c->inocache_list	0
BUF_SIZE	0	c	1-s32max
BUF_SIZE	0	c	1-s32max
CAPPED_DATA	0	c->inocache_hashsize	1
CAPPED_DATA	0	c->nr_blocks	1
DATA_SOURCE	0	c	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	c->inocache_hashsize
NO_OVERFLOW_SIMPLE	0	c->oobavail
UNITS	0	c	unit_byte
HALF_LOCKED2		&fc->uapi_mutex

fs/jffs2/super.c jffs2_put_super() -> jffs2_sum_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	c	4096-ptr_max
PARAM_VALUE	0	c->alloc_sem.dep_map->name	0-255
PARAM_VALUE	0	c->alloc_sem.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	c->alloc_sem.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	c->alloc_sem.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	c->alloc_sem.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	c->alloc_sem.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	c->alloc_sem.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	c->alloc_sem.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	c->alloc_sem.osq.tail.counter	0-s32max
PARAM_VALUE	0	c->alloc_sem.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	c->wbuf_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	c->wbuf_sem.first_waiter->type	0-1
BUF_SIZE	0	c	(-1),4416
BUF_SIZE	0	c	(-1),4416
CAPPED_DATA	0	&c->alloc_sem	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	c	unit_byte
HALF_LOCKED2		&s->s_umount
HALF_LOCKED2		&sb->s_umount
HALF_LOCKED2		global &cifs_mount_mutex