Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 51 files:
- fs/affs/dir.c, line 59
- fs/affs/file.c, line 1012
- fs/befs/linuxvfs.c, line 83
- fs/btrfs/file.c, line 3836
- fs/btrfs/inode.c, line 10766
- fs/cramfs/inode.c, line 942
- fs/erofs/data.c, line 545
- fs/erofs/dir.c, line 133
- fs/exfat/dir.c, line 289
- fs/exfat/file.c, line 1078
- fs/ext2/dir.c, line 738
- fs/ext2/file.c, line 205
- fs/ext4/dir.c, line 709
- fs/ext4/file.c, line 1055
- fs/f2fs/dir.c, line 1148
- fs/f2fs/file.c, line 5578
- fs/fat/dir.c, line 906
- fs/fat/file.c, line 217
- fs/fuse/file.c, line 3084
- fs/gfs2/file.c
- fs/isofs/dir.c, line 269
- fs/jffs2/dir.c, line 52
- fs/jffs2/file.c, line 64
- fs/jfs/file.c, line 157
- fs/jfs/namei.c, line 1551
- fs/libfs.c, line 572
- fs/locks.c, line 2071
- fs/nfs/nfs4proc.c
- fs/nilfs2/dir.c, line 665
- fs/nilfs2/file.c, line 188
- fs/ntfs/dir.c, line 1206
- fs/ntfs/file.c, line 1699
- fs/ntfs3/dir.c, line 745
- fs/ntfs3/file.c, line 1601
- fs/ocfs2/file.c
- fs/orangefs/dir.c, line 397
- fs/orangefs/file.c, line 586
- fs/overlayfs/file.c, line 665
- fs/overlayfs/readdir.c, line 1073
- fs/qnx4/dir.c, line 75
- fs/qnx6/dir.c, line 279
- fs/read_write.c, line 34
- fs/smb/client/cifsfs.c
- fs/squashfs/dir.c, line 224
- fs/squashfs/file.c, line 780
- fs/udf/dir.c, line 161
- fs/udf/file.c, line 212
- fs/ufs/dir.c, line 657
- fs/ufs/file.c, line 47
- fs/xfs/xfs_file.c
- mm/shmem.c, line 5184
Smatch caller information:
fs/nfs/nfs4proc.c nfs4_add_lease() -> generic_setlease()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_cons_state | (-12),(-4),0-s32max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_count.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_net->ns.__ns_ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_count.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_shutdown | 1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.flags | 0-4294967295 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.is_hard | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.is_lazy | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.is_queued | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.is_soft | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.nr | 0-255 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.priority | 0-255 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_session->bc_slot_table.max_slots | 0-4294967295 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->nfs_client->cl_session->fc_slot_table.max_slots | 0-4294967295 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_op->setlease | 1-u64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | *filp->f_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_cred->security | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | arg | 0-1 |
| PARAM_VALUE | 2 | flp | 0,1478038421404426240,2897662410606292992,3506691329482739712,5336886801848848384 |
| PARAM_VALUE | 2 | *flp | 4096-ptr_max |
| PARAM_VALUE | 3 | *priv | 0,4-u64max |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | arg | $1 |
| DATA_SOURCE | 2 | flp | $2 |
| DATA_SOURCE | 3 | priv | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | arg | 0-1 |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->dentry->d_inode->i_size |
fs/nfs/nfs4proc.c nfs4_delete_lease() -> generic_setlease()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_op->setlease | 1-u64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 1 | arg | 2 |
| PARAM_VALUE | 2 | flp | 0 |
| PARAM_VALUE | 3 | *priv | 0,4-u64max |
| CAPPED_DATA | 0 | filp | 1 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 3 | priv | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->moved->d_inode->i_size |
fs/smb/client/cifsfs.c cifs_setlease() -> generic_setlease()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_op->setlease | 1-u64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | arg | 0-2 |
| PARAM_VALUE | 2 | flp | 0,1478038421404426240,2897662410606292992,3506691329482739712,5336886801848848384 |
| PARAM_VALUE | 2 | *flp | 4096-ptr_max |
| PARAM_VALUE | 3 | *priv | 0,4-u64max |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | arg | $1 |
| DATA_SOURCE | 2 | flp | $2 |
| DATA_SOURCE | 3 | priv | $3 |
| FUZZY_MAX | 1 | arg | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | arg | 0 |
fs/smb/client/cifsfs.c cifs_setlease() -> generic_setlease()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_op->setlease | 1-u64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | arg | 0-1 |
| PARAM_VALUE | 2 | flp | 0,1478038421404426240,2897662410606292992,3506691329482739712,5336886801848848384 |
| PARAM_VALUE | 2 | *flp | 4096-ptr_max |
| PARAM_VALUE | 3 | *priv | 0,4-u64max |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | arg | $1 |
| DATA_SOURCE | 2 | flp | $2 |
| DATA_SOURCE | 3 | priv | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | arg | 0 |
fs/locks.c kernel_setlease() -> (struct file_operations)->setlease()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_op->setlease | 1-u64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | arg | 0-2 |
| PARAM_VALUE | 2 | flp | 0,1478038421404426240,2897662410606292992,3506691329482739712,5336886801848848384 |
| PARAM_VALUE | 2 | *flp | 4096-ptr_max |
| PARAM_VALUE | 3 | *priv | 0,4-u64max |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | arg | $1 |
| DATA_SOURCE | 2 | flp | $2 |
| DATA_SOURCE | 3 | priv | $3 |
| CONTAINER | 0 | -200-80+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | arg | 0-1 |