Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/afs/dir.c afs_create() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 0 dvnode->volume 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->domain_tag 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key->desc 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.description 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.domain_tag->usage.refs.counter 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->restrict_link->check 2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.dep_map->name 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.magic 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial 3-s32max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.__rb_parent_color 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_left 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_right 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user->qnbytes s32min-s32max
PARAM_VALUE 1 ret s16min-s16max
DATA_SOURCE 0 dvnode r AFS_FS_I
DATA_SOURCE 1 ret r afs_do_sync_operation
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dir->i_rwsem

fs/afs/dir.c afs_link() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 0 dvnode->volume 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->domain_tag 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key->desc 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.description 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.domain_tag->usage.refs.counter 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->restrict_link->check 2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.dep_map->name 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.magic 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial 3-s32max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.__rb_parent_color 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_left 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_right 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user->qnbytes s32min-s32max
PARAM_VALUE 1 ret s16min-s16max
DATA_SOURCE 0 dvnode r AFS_FS_I
DATA_SOURCE 1 ret r afs_do_sync_operation
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/afs/dir.c afs_link() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 0 dvnode->volume 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->domain_tag 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key->desc 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.description 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.domain_tag->usage.refs.counter 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->restrict_link->check 2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.dep_map->name 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.magic 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial 3-s32max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.__rb_parent_color 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_left 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_right 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user->qnbytes s32min-s32max
PARAM_VALUE 1 ret s16min-(-3),(-1)
DATA_SOURCE 0 dvnode r AFS_FS_I
DATA_SOURCE 1 ret r afs_validate
BIT_INFO 1 ret 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/afs/dir.c afs_lookup() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 0 dvnode->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dvnode->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 dvnode->netfs.inode.i_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dvnode->netfs.inode.i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 dvnode->validate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dvnode->validate_lock.first_waiter->type 0-1
PARAM_VALUE 1 ret s16min-(-3),(-1)
DATA_SOURCE 0 dvnode r AFS_FS_I
DATA_SOURCE 1 ret r afs_validate
BIT_INFO 1 ret 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dir->i_rwsem

fs/afs/dir.c afs_mkdir() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 0 dvnode->volume 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->domain_tag 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key->desc 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.description 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.domain_tag->usage.refs.counter 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->restrict_link->check 2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.dep_map->name 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.magic 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial 3-s32max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.__rb_parent_color 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_left 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_right 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user->qnbytes s32min-s32max
PARAM_VALUE 1 ret s16min-s16max
DATA_SOURCE 0 dvnode r AFS_FS_I
DATA_SOURCE 1 ret r afs_do_sync_operation
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/afs/dir.c afs_rename() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 0 dvnode->volume 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->domain_tag 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key->desc 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.description 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.domain_tag->usage.refs.counter 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->restrict_link->check 2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.dep_map->name 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.magic 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial 3-s32max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.__rb_parent_color 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_left 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_right 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user->qnbytes s32min-s32max
PARAM_VALUE 1 ret s16min-s16max
CAPPED_DATA 0 dvnode 1
DATA_SOURCE 0 dvnode r AFS_FS_I
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/afs/dir.c afs_rename() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 1 ret s16min-s16max
CAPPED_DATA 0 dvnode 1
DATA_SOURCE 0 dvnode r AFS_FS_I
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/afs/dir.c afs_rmdir() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 0 dvnode->volume 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->domain_tag 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key->desc 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.description 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.domain_tag->usage.refs.counter 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->restrict_link->check 2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.dep_map->name 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.magic 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial 3-s32max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.__rb_parent_color 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_left 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_right 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user->qnbytes s32min-s32max
PARAM_VALUE 1 ret s16min-(-18),(-16)-s16max
DATA_SOURCE 0 dvnode r AFS_FS_I
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &vnode->rmdir_lock
TYPE_LOCK (struct inode)->i_rwsem

fs/afs/dir.c afs_symlink() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 0 dvnode->volume 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->domain_tag 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key->desc 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.description 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.domain_tag->usage.refs.counter 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->restrict_link->check 2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.dep_map->name 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.magic 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial 3-s32max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.__rb_parent_color 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_left 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_right 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user->qnbytes s32min-s32max
PARAM_VALUE 1 ret s16min-s16max
DATA_SOURCE 0 dvnode r AFS_FS_I
DATA_SOURCE 1 ret r afs_do_sync_operation
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/afs/dir.c afs_unlink() -> afs_dir_unuse_cookie()

Type Parameter Key Value
PARAM_VALUE 0 dvnode 4096-ptr_max
PARAM_VALUE 0 dvnode->volume 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->domain_tag 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key->desc 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.description 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.domain_tag->usage.refs.counter 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->index_key.type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->restrict_link->check 2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.dep_map->name 0-255
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->sem.magic 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial 3-s32max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.__rb_parent_color 1
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_left 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->serial_node.rb_right 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->type 4096-ptr_max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user 1-u64max
PARAM_VALUE 0 dvnode->volume->cell->anonymous_key->user->qnbytes s32min-s32max
PARAM_VALUE 1 ret s16min-s16max
DATA_SOURCE 0 dvnode r AFS_FS_I
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &target->i_rwsem
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem