Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ceph/caps.c __ceph_mark_dirty_caps() -> __cap_delay_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | ci | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->i_auth_cap | 1-u64max |
| PARAM_VALUE | 1 | ci->i_ceph_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ci->i_dirty_caps | 0,128-u32max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| BUF_SIZE | 1 | ci->i_xattrs.prealloc_blob | (-1),32 |
| CAPPED_DATA | 1 | &ci->i_dirty_item | 1 |
| DATA_SOURCE | 1 | ci | $0 |
| PARAM_COMPARE | 1 | &ci->i_dirty_item | != $1->i_dirty_item.next |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 1 | &ci->i_ceph_lock | |
| HALF_LOCKED2 | &fsc->mdsc->snap_rwsem | ||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct ceph_inode_info)->i_ceph_lock |
fs/ceph/caps.c __ceph_touch_fmode() -> __cap_delay_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc->snap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | mdsc->snap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ci | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->i_cap_delay_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->i_ceph_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 1 | ci->fscrypt_auth | (-1),1-s32max |
| BUF_SIZE | 1 | ci->i_snapid_map | (-1),64 |
| BUF_SIZE | 1 | ci->i_xattrs.blob | (-1)-0,32 |
| CAPPED_DATA | 1 | &ci->i_cap_delay_list | 1 |
| DATA_SOURCE | 0 | mdsc | $1 |
| DATA_SOURCE | 1 | ci | $0 |
| PARAM_COMPARE | 1 | &ci->i_cap_delay_list | == $1->i_cap_delay_list.next |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | ci->i_dir_pin | s32min-s32max |
| USER_DATA | 1 | ci->i_inline_version | 1-u64max[c] |
| USER_DATA | 1 | ci->i_max_bytes | 0 |
| USER_DATA | 1 | ci->i_max_files | 0 |
| USER_DATA | 1 | ci->i_rsnaps | 0-u64max |
| USER_DATA | 1 | ci->i_xattrs.blob->alloc_len | 5-u32max[c] |
| USER_DATA | 1 | ci->i_xattrs.blob->vec.iov_len | 5-u32max[c] |
| LOCK2 | 1 | &ci->i_ceph_lock | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mdsc->snap_rwsem | ||
| HALF_LOCKED2 | 0 | &mdsc->snap_rwsem | |
| TYPE_LOCK | (struct ceph_inode_info)->i_ceph_lock |
fs/ceph/caps.c __send_cap() -> __cap_delay_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | ci | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->i_auth_cap | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ci->i_ceph_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_mapping->host->i_sb->s_cop->empty_dir | 0,86,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_mapping->host->i_sb->s_cop->get_context | 0,706,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | ci->netfs.inode.i_mapping->host->i_sb->s_cop->set_context | 0,67,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ci->netfs.inode.i_op->get_acl | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb->s_cop->empty_dir | 0,86,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb->s_cop->get_context | 0,706,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb->s_cop->set_context | 0,67,4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| CAPPED_DATA | 1 | ci->i_auth_cap | 1 |
| DATA_SOURCE | 1 | ci | $1 |
| NOSPEC | 1 | ci->i_wanted_max_size | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | ci->i_wanted_max_size | 1-9223372036854775805,9223372036854775808-u64max[c] |
| LOCK2 | 1 | &ci->i_ceph_lock | |
| TYPE_LOCK | (struct ceph_inode_info)->i_ceph_lock |
fs/ceph/caps.c ceph_add_cap() -> __cap_delay_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | ci | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->i_auth_cap | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ci->i_cached_layout.object_size | 0 |
| PARAM_VALUE | 1 | ci->i_cached_layout.pool_id | 0 |
| PARAM_VALUE | 1 | ci->i_cached_layout.pool_ns | 0 |
| PARAM_VALUE | 1 | ci->i_cached_layout.stripe_count | 0 |
| PARAM_VALUE | 1 | ci->i_cached_layout.stripe_unit | 0 |
| PARAM_VALUE | 1 | ci->i_caps.rb_node | 4096-ptr_max |
| PARAM_VALUE | 1 | ci->netfs.inode.i_sb | 4096-ptr_max |
| DATA_SOURCE | 1 | ci | r ceph_inode |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ci->i_ceph_lock | ||
| HALF_LOCKED2 | &mdsc->snap_rwsem | ||
| HALF_LOCKED2 | &session->s_mutex | ||
| HALF_LOCKED2 | &session->s_mutex |