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 |