Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/caps.c ceph_check_caps() -> __ceph_flush_snaps()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_auth_cap 4096-ptr_max
PARAM_VALUE 0 ci->i_caps.rb_node 4096-ptr_max
PARAM_VALUE 0 ci->i_ceph_flags 128-u64max
PARAM_VALUE 0 ci->i_ceph_lock.rlock.dep_map->name 0-255
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->host->i_sb->s_cop->empty_dir 0,86,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->host->i_sb->s_cop->get_context 0,706,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 ci->netfs.inode.i_mapping->host->i_sb->s_cop->set_context 0,67,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->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_op->get_acl 0,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb 4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->empty_dir 0,86,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->get_context 0,706,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->set_context 0,67,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 1 session 0,4096-ptr_max
PARAM_VALUE 1 session->s_con.ops->add_authorizer_challenge 0,4570694679072546816,9106719031468761088
PARAM_VALUE 1 session->s_con.ops->alloc_msg 0,1819672071517347840,3985100338545319936,8051317338035064832
PARAM_VALUE 1 session->s_con.ops->dispatch 0,4096-ptr_max
PARAM_VALUE 1 session->s_con.ops->fault 0,5235114639455322112,7890162724431134720
PARAM_VALUE 1 session->s_con.ops->get 0,4096-ptr_max
PARAM_VALUE 1 session->s_con.ops->get_auth_request 0,3097215666396741632,6863677008278192128,8191687471266062336
PARAM_VALUE 1 session->s_con.ops->get_authorizer 0,4096-ptr_max
PARAM_VALUE 1 session->s_con.ops->handle_auth_bad_method 0,476257765314297856,2064871891929993216,3616707156672061440
PARAM_VALUE 1 session->s_con.ops->handle_auth_done 0,218166346346975232,3657433399607500800,7679859771777245184
PARAM_VALUE 1 session->s_con.ops->handle_auth_reply_more 0,5798876659189800960,6850432694908821504,8279948037938364416
PARAM_VALUE 1 session->s_con.ops->invalidate_authorizer 0,1001377535138050048,1463731196565176320
PARAM_VALUE 1 session->s_con.ops->peer_reset 0,4096-ptr_max
PARAM_VALUE 1 session->s_con.ops->put 0,3343298065298829312,6612073531077701632,7503489253805752320
PARAM_VALUE 1 session->s_con.ops->reencode_message 0,4019355679470731264
PARAM_VALUE 1 session->s_con.ops->sign_message 0,1175390057949110272,1281680883755110400
PARAM_VALUE 1 session->s_con.ops->sparse_read 0,4096-ptr_max
PARAM_VALUE 1 session->s_con.ops->verify_authorizer_reply 0,3350695966436954112,7309319912932315136
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->add_authorizer_challenge 0,4570694679072546816,9106719031468761088
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->alloc_msg 0,1819672071517347840,3985100338545319936,8051317338035064832
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->check_message_signature 0,2338881485687373824,7398673791904043008
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->dispatch 0,5069345856845316096,5185361939284975616,8367005991706517504
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->fault 0,5235114639455322112,7890162724431134720
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->get 0,1733957411014758400,5067823073802145792,9046076307153379328
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->get_auth_request 0,3097215666396741632,6863677008278192128,8191687471266062336
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->get_authorizer 0,824788881680629760,9056656172098445312
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->handle_auth_bad_method 0,476257765314297856,2064871891929993216,3616707156672061440
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->handle_auth_done 0,218166346346975232,3657433399607500800,7679859771777245184
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->handle_auth_reply_more 0,5798876659189800960,6850432694908821504,8279948037938364416
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->invalidate_authorizer 0,1001377535138050048,1463731196565176320
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->peer_reset 0,2747659020159242240
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->put 0,3343298065298829312,6612073531077701632,7503489253805752320
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->reencode_message 0,4019355679470731264
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->sign_message 0,1175390057949110272,1281680883755110400
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->sparse_read 0,8552505226235363328
PARAM_VALUE 1 session->s_mdsc->metric.session->s_con.ops->verify_authorizer_reply 0,3350695966436954112,7309319912932315136
PARAM_VALUE 1 session->s_ref.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 ci->i_auth_cap 1
DATA_SOURCE 0 ci $0
BIT_INFO 0 ci->i_ceph_flags 0x100,0xffffffffffffffff
NOSPEC 0 ci->i_wanted_max_size
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ci->i_wanted_max_size 1-9223372036854775805,9223372036854775808-u64max[c]
LOCK2 0 &ci->i_ceph_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct ceph_inode_info)->i_ceph_lock

fs/ceph/caps.c ceph_flush_snaps() -> __ceph_flush_snaps()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_auth_cap 4096-ptr_max
PARAM_VALUE 0 ci->i_auth_cap->session 4096-ptr_max
PARAM_VALUE 0 ci->i_ceph_lock.rlock.dep_map->name 0-255
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->host->i_sb->s_cop->empty_dir 0,86,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->host->i_sb->s_cop->get_context 0,706,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->host->i_sb->s_cop->set_context 0,67,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_mapping->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_op->get_acl 0,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb 4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->empty_dir 0,86,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->get_context 0,706,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_cop->set_context 0,67,4096-ptr_max
PARAM_VALUE 0 ci->netfs.inode.i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 1 session 4096-ptr_max
CAPPED_DATA 1 session->s_mds 1
DATA_SOURCE 0 ci $0
BIT_INFO 0 ci->i_ceph_flags 0x100,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ci->i_ceph_lock
TYPE_LOCK (struct ceph_inode_info)->i_ceph_lock

fs/ceph/caps.c try_flush_caps() -> __ceph_flush_snaps()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->i_auth_cap 4096-ptr_max
PARAM_VALUE 0 ci->i_ceph_flags 128-u64max
PARAM_VALUE 0 ci->i_ceph_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ci->i_dirty_caps 1-u32max
PARAM_VALUE 1 session 4096-ptr_max
PARAM_VALUE 1 session->s_state 3-s32max
DATA_SOURCE 0 ci r ceph_inode
FUZZY_MAX 1 session->s_state 3
BIT_INFO 0 ci->i_ceph_flags 0x100,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ci->i_ceph_lock
TYPE_LOCK (struct ceph_inode_info)->i_ceph_lock