Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nilfs2/segment.c nilfs_segctor_thread_construct() -> nilfs_segctor_start_timer()

Type Parameter Key Value
PARAM_VALUE 0 sci 4096-ptr_max
PARAM_VALUE 0 sci->sc_curseg 4096-ptr_max
PARAM_VALUE 0 sci->sc_curseg->sb_segsum_buffers.prev->next 4096-ptr_max
PARAM_VALUE 0 sci->sc_curseg->sb_segsum_buffers.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sci->sc_curseg->sb_sum.flags 0-11,16,18,20,22,24,26
PARAM_VALUE 0 sci->sc_dirty_files.prev 4096-ptr_max
PARAM_VALUE 0 sci->sc_dirty_files.prev->next 4096-ptr_max
PARAM_VALUE 0 sci->sc_dirty_files.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sci->sc_iput_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 sci->sc_root 4096-ptr_max
PARAM_VALUE 0 sci->sc_root->ifile->i_sb->s_fs_info->ns_segctor_sem.first_waiter->handoff_set 1
PARAM_VALUE 0 sci->sc_root->ifile->i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 sci->sc_root->ifile->i_sb->s_fs_info->ns_segctor_sem.first_waiter->type 0-1
PARAM_VALUE 0 sci->sc_segbufs.next->next 4096-ptr_max
PARAM_VALUE 0 sci->sc_segbufs.next->prev 4096-ptr_max
PARAM_VALUE 0 sci->sc_segbufs.prev->next 4096-ptr_max
PARAM_VALUE 0 sci->sc_segbufs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sci->sc_segbufs.prev->prev 4096-ptr_max
PARAM_VALUE 0 sci->sc_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sci->sc_super 4096-ptr_max
PARAM_VALUE 0 sci->sc_super->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_flushed_device 0-1
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_inode_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_sbwcount 0-4294967295
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_segctor_sem.first_waiter->handoff_set 1
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_segctor_sem.first_waiter->type 0-1
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_segctor_sem.osq.tail.counter s32min-s32max
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_sem.dep_map->name 0-255
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_sem.first_waiter->handoff_set 1
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_sem.first_waiter->type 0-1
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_sem.osq.tail.counter 0-s32max
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer 4096-ptr_max
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer->sc_binfo_ptr.offset 0-4294967295
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer->sc_curseg->sb_sum.flags 0-11,16,18,20,22,24,26
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer->sc_curseg->sb_sum.nfileblk 0-5
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer->sc_curseg->sb_sum.nfinfo 0-5
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer->sc_curseg->sb_sum.sumbytes 64
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer->sc_finfo_ptr.offset 0-4294967295
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer->sc_stage.flags 0-4294967295
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer->sc_stage.scnt s32min-s32max
PARAM_VALUE 0 sci->sc_super->s_fs_info->ns_writer->sc_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sci->sc_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 sci->sc_wait_daemon.lock.rlock.dep_map->name 0-255
BUF_SIZE 0 sci 128
BUF_SIZE 0 sci 128
DATA_SOURCE 0 sci $0
NOCHECK_CALL

fs/nilfs2/segment.c nilfs_transaction_commit() -> nilfs_segctor_start_timer()

Type Parameter Key Value
PARAM_VALUE 0 sci 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &nilfs->ns_snapshot_mount_mutex
HALF_LOCKED2 &target->i_rwsem