Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/ceph/mds_client.c ceph_mdsc_release_dir_caps() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had s32min-(-1),1-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/ceph/mds_client.c ceph_mdsc_release_request() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsc->client->mount_mutex

fs/ceph/mds_client.c ceph_mdsc_release_request() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsc->client->mount_mutex

fs/ceph/mds_client.c ceph_mdsc_release_request() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsc->client->mount_mutex
HALF_LOCKED2 &req->r_dentry->d_lockref.lock
HALF_LOCKED2 &req->r_old_dentry->d_lockref.lock

fs/ceph/mds_client.c create_request_message() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mdsc->mutex
HALF_LOCKED2 &session->s_mutex
TYPE_LOCK (struct ceph_mds_client)->mutex

fs/ceph/caps.c __ceph_get_caps() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 had 256,512-45056
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/ceph/caps.c __ceph_get_caps() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_inline_version 0,2-18446744073709551614
PARAM_VALUE 0 ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 had 1024-45056
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ceph/ioctl.c ceph_set_encryption_policy() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_layout.stripe_count 0-1
PARAM_VALUE 1 had 256,512-45056
DATA_SOURCE 0 ci r ceph_inode
FUZZY_MAX 0 ci->i_layout.stripe_count 1
HARD_MAX 0 ci->i_layout.stripe_count 1
NOCHECK_CALL

fs/ceph/inode.c fill_fscrypt_truncate() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_auth_cap 0,4096-ptr_max
PARAM_VALUE 0 ci->i_caps.rb_node 0,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb 4096-ptr_max
PARAM_VALUE 1 had 256,512-45056
DATA_SOURCE 0 ci r ceph_inode
NOCHECK_CALL

fs/ceph/addr.c ceph_filemap_fault() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 256,512-45056
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ceph/addr.c ceph_init_request() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 256,512-45056
CAPPED_DATA 1 had 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/ceph/addr.c ceph_netfs_free_request() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ceph/dir.c get_caps_for_async_unlink() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_auth_cap 0,4096-ptr_max
PARAM_VALUE 0 ci->i_caps.rb_node 0,4096-ptr_max
PARAM_VALUE 0 ci->i_ceph_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ci->netfs.inode.i_sb 4096-ptr_max
PARAM_VALUE 1 had 2560
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &dn->d_lockref.lock
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/ceph/file.c ceph_aio_complete() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 2048,4096
DATA_SOURCE 0 ci r ceph_inode
FUZZY_MAX 1 had 4096
HARD_MAX 1 had 4096
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/ceph/file.c ceph_fallocate() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 256,512-45056
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/ceph/file.c ceph_read_iter() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 had 256,512-45056
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/ceph/file.c ceph_splice_read() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_inline_version 1,u64max
PARAM_VALUE 1 had 256,512-45056
DATA_SOURCE 0 ci r ceph_inode
BIT_INFO 1 had 0x0,0x7bff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/ceph/file.c ceph_splice_read() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_inline_version 1,u64max
PARAM_VALUE 1 had 1024-45056
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/ceph/file.c ceph_write_iter() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 had 256,512-45056
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/ceph/file.c ceph_write_iter() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 had 256,512-45056
DATA_SOURCE 0 ci r ceph_inode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/ceph/file.c get_rd_wr_caps() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 256,512-45056
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/ceph/file.c get_rd_wr_caps() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 1 had 256,512-45056
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/ceph/file.c put_rd_wr_caps() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_layout.object_size 0-1000000000
PARAM_VALUE 0 ci->i_layout.stripe_count 1
PARAM_VALUE 0 ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 1 had 256,512-45056
CAPPED_DATA 0 ci->i_layout.object_size 1
CAPPED_DATA 0 ci->i_layout.stripe_unit 1
CAPPED_DATA 1 had 1
DATA_SOURCE 0 ci $0
DATA_SOURCE 1 had $1
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/ceph/file.c put_rd_wr_caps() -> ceph_put_cap_refs()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_layout.stripe_count 1
PARAM_VALUE 0 ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 1 had 0
CAPPED_DATA 0 ci->i_layout.object_size 1
CAPPED_DATA 0 ci->i_layout.stripe_unit 1
DATA_SOURCE 0 ci $2
DATA_SOURCE 1 had $3
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock