Defined in 2 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/fuse/dir.c fuse_dentry_tree_work() -> shrink_dentry_list()

Type Parameter Key Value
PARAM_VALUE 0 list 2687930260174393344
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 2687930260174393344
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/namespace.c mntput_no_expire_slowpath() -> shrink_dentry_list()

Type Parameter Key Value
PARAM_VALUE 0 list 962622197967974400
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 962622197967974400
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/namespace.c namespace_unlock() -> shrink_dentry_list()

Type Parameter Key Value
PARAM_VALUE 0 list 1147994321400213504
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 1147994321400213504
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_inode->i_rwsem

fs/dcache.c d_prune_aliases() -> shrink_dentry_list()

Type Parameter Key Value
PARAM_VALUE 0 list 1052542182414704640
PARAM_VALUE 0 list->next 4096-ptr_max
PARAM_VALUE 0 list->prev 1052542182414704640
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

fs/dcache.c prune_dcache_sb() -> shrink_dentry_list()

Type Parameter Key Value
PARAM_VALUE 0 list 4857864779483803648
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sb->s_umount
HALF_LOCKED2 global &bch_register_lock
TYPE_LOCK (struct super_block)->s_umount

fs/dcache.c shrink_dcache_sb() -> shrink_dentry_list()

Type Parameter Key Value
PARAM_VALUE 0 list 181694880466436096
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->killsb
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 &vcp->vc_mutex

fs/dcache.c shrink_dcache_tree() -> shrink_dentry_list()

Type Parameter Key Value
PARAM_VALUE 0 list 8058241329903476752
PARAM_VALUE 0 list->next 0-8058241329903476751,8058241329903476753-u64max
PARAM_VALUE 0 list->prev 8058241329903476752
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/dcache.c shrink_dcache_tree() -> shrink_dentry_list()

Type Parameter Key Value
PARAM_VALUE 0 list 8058241329903476752
PARAM_VALUE 0 list->prev 8058241329903476752
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL