Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ceph/mds_client.c ceph_iterate_session_caps() -> __ceph_queue_cap_release()

Type Parameter Key Value
PARAM_VALUE 0 session 4096-ptr_max
PARAM_VALUE 0 session->s_cap_iterator 4096-ptr_max
PARAM_VALUE 0 session->s_cap_iterator->ci 0
PARAM_VALUE 0 session->s_cap_iterator->queue_release s32min-(-1),1-s32max
PARAM_VALUE 0 session->s_cap_iterator->session 4096-ptr_max
PARAM_VALUE 0 session->s_cap_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 session->s_con.ops->get 0,4096-ptr_max
PARAM_VALUE 0 session->s_mdsc 4096-ptr_max
PARAM_VALUE 0 session->s_mdsc->fsc 4096-ptr_max
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->add_authorizer_challenge 0,4570694679072546816,9106719031468761088
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->alloc_msg 0,1819672071517347840,3985100338545319936,8051317338035064832
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->check_message_signature 0,2338881485687373824,7398673791904043008
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->dispatch 0,5069345856845316096,5185361939284975616,8367005991706517504
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->fault 0,5235114639455322112,7890162724431134720
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->get 0,1733957411014758400,5067823073802145792,9046076307153379328
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->get_auth_request 0,3097215666396741632,6863677008278192128,8191687471266062336
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->get_authorizer 0,824788881680629760,9056656172098445312
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->handle_auth_bad_method 0,476257765314297856,2064871891929993216,3616707156672061440
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->handle_auth_done 0,218166346346975232,3657433399607500800,7679859771777245184
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->handle_auth_reply_more 0,5798876659189800960,6850432694908821504,8279948037938364416
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->invalidate_authorizer 0,1001377535138050048,1463731196565176320
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->peer_reset 0,2747659020159242240
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->put 0,3343298065298829312,6612073531077701632,7503489253805752320
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->reencode_message 0,4019355679470731264
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->sign_message 0,1175390057949110272,1281680883755110400
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->sparse_read 0,8552505226235363328
PARAM_VALUE 0 session->s_mdsc->metric.session->s_con.ops->verify_authorizer_reply 0,3350695966436954112,7309319912932315136
PARAM_VALUE 1 cap 4096-ptr_max
PARAM_VALUE 1 cap->ci 0
PARAM_VALUE 1 cap->queue_release s32min-(-1),1-s32max
PARAM_VALUE 1 cap->session 0
BUF_SIZE 0 session (-1),2584,2656,2776
BUF_SIZE 0 session (-1),2584,2656,2776
CAPPED_DATA 0 session 1
DATA_SOURCE 0 session $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 session->s_features 0-u64max
LOCK2 0 &session->s_cap_lock
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &s->lock
HALF_LOCKED2 0 &session->s_mutex
TYPE_LOCK (struct ceph_mds_session)->s_cap_lock

fs/ceph/caps.c __ceph_remove_cap() -> __ceph_queue_cap_release()

Type Parameter Key Value
PARAM_VALUE 0 session 4096-ptr_max
PARAM_VALUE 0 session->s_cap_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 session->s_mdsc 4096-ptr_max
PARAM_VALUE 0 session->s_mdsc->fsc 4096-ptr_max
PARAM_VALUE 1 cap 4096-ptr_max
PARAM_VALUE 1 cap->ci 0
PARAM_VALUE 1 cap->ci_node.rb_left 0,4096-ptr_max
PARAM_VALUE 1 cap->ci_node.rb_right 0,4096-ptr_max
PARAM_VALUE 1 cap->queue_release 1
PARAM_VALUE 1 cap->session 0
PARAM_VALUE 1 cap->session_caps.next->prev 4096-ptr_max
PARAM_VALUE 1 cap->session_caps.prev->next 4096-ptr_max
CAPPED_DATA 1 cap 1
CAPPED_DATA 1 &cap->ci_node 1
DATA_SOURCE 1 cap $0
PARAM_COMPARE 1 cap != $0->s_cap_iterator
PARAM_COMPARE 1 cap != $0->s_cap_iterator
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 cap unit_byte
LOCK2 0 &session->s_cap_lock
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &session->s_mutex
HALF_LOCKED2 &tsession->s_mutex
TYPE_LOCK (struct ceph_mds_session)->s_cap_lock