Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/hpfs/namei.c hpfs_rename() -> hpfs_remove_dirent()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_op 4096-ptr_max
PARAM_VALUE 0 i->i_op->rename 4096-ptr_max
PARAM_VALUE 0 i->i_sb 4096-ptr_max
PARAM_VALUE 0 i->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 de 4096-ptr_max
PARAM_VALUE 2 de->last 0
PARAM_VALUE 3 qbh 1287390439487766528
PARAM_VALUE 4 depth 1
BUF_SIZE 2 de (-1),2028
BUF_SIZE 2 de (-1),2028
CAPPED_DATA 0 i 1
CAPPED_DATA 0 i->i_sb->s_fs_info->n_hotfixes 1
CAPPED_DATA 2 de 1
CAPPED_DATA 2 de->namelen 1
DATA_SOURCE 0 i $1
DATA_SOURCE 2 de r map_dirent
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/namei.c hpfs_rename() -> hpfs_remove_dirent()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_op 4096-ptr_max
PARAM_VALUE 0 i->i_op->rename 4096-ptr_max
PARAM_VALUE 0 i->i_sb 4096-ptr_max
PARAM_VALUE 0 i->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 de 4096-ptr_max
PARAM_VALUE 2 de->last 0
PARAM_VALUE 3 qbh 1287390439487766528
PARAM_VALUE 4 depth 0
BUF_SIZE 2 de (-1),2028
BUF_SIZE 2 de (-1),2028
CAPPED_DATA 0 i 1
CAPPED_DATA 0 i->i_sb->s_fs_info->n_hotfixes 1
CAPPED_DATA 2 de 1
CAPPED_DATA 2 de->namelen 1
DATA_SOURCE 0 i $1
DATA_SOURCE 2 de r map_dirent
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/namei.c hpfs_rmdir() -> hpfs_remove_dirent()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_op 4096-ptr_max
PARAM_VALUE 0 i->i_op->rmdir 4096-ptr_max
PARAM_VALUE 0 i->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 i->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 i->i_sb 4096-ptr_max
PARAM_VALUE 0 i->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 2 de 4096-ptr_max
PARAM_VALUE 2 de->directory 1
PARAM_VALUE 2 de->first 0
PARAM_VALUE 2 de->last 0
PARAM_VALUE 3 qbh 5998597991468331008
PARAM_VALUE 4 depth 1
BUF_SIZE 2 de (-1),2028
BUF_SIZE 2 de (-1),2028
CAPPED_DATA 0 i 1
CAPPED_DATA 0 i->i_sb->s_fs_info->n_hotfixes 1
CAPPED_DATA 2 de 1
CAPPED_DATA 2 de->namelen 1
DATA_SOURCE 0 i $0
DATA_SOURCE 2 de r map_dirent
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dentry->d_inode->i_rwsem
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 0 &i->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/hpfs/namei.c hpfs_unlink() -> hpfs_remove_dirent()

Type Parameter Key Value
PARAM_VALUE 0 i 4096-ptr_max
PARAM_VALUE 0 i->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_op 4096-ptr_max
PARAM_VALUE 0 i->i_op->unlink 4096-ptr_max
PARAM_VALUE 0 i->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 i->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 i->i_sb 4096-ptr_max
PARAM_VALUE 0 i->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 i->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 2 de 4096-ptr_max
PARAM_VALUE 2 de->directory 0
PARAM_VALUE 2 de->first 0
PARAM_VALUE 2 de->last 0
PARAM_VALUE 3 qbh 4527361282712035328
PARAM_VALUE 4 depth 1
BUF_SIZE 2 de (-1),2028
BUF_SIZE 2 de (-1),2028
CAPPED_DATA 0 i 1
CAPPED_DATA 0 i->i_sb->s_fs_info->n_hotfixes 1
CAPPED_DATA 2 de 1
CAPPED_DATA 2 de->namelen 1
DATA_SOURCE 0 i $0
DATA_SOURCE 2 de r map_dirent
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->hpfs_mutex
LOCK2 &target->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 0 &i->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem