Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/ceph/mds_client.c ceph_iterate_session_caps() -> ceph_put_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->fsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->add_authorizer_challenge | 0,4570694679072546816,9106719031468761088 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->alloc_msg | 0,1819672071517347840,3985100338545319936,8051317338035064832 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->check_message_signature | 0,2338881485687373824,7398673791904043008 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->dispatch | 0,5069345856845316096,5185361939284975616,8367005991706517504 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->fault | 0,5235114639455322112,7890162724431134720 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->get | 0,1733957411014758400,5067823073802145792,9046076307153379328 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->get_auth_request | 0,3097215666396741632,6863677008278192128,8191687471266062336 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->get_authorizer | 0,824788881680629760,9056656172098445312 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->handle_auth_bad_method | 0,476257765314297856,2064871891929993216,3616707156672061440 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->handle_auth_done | 0,218166346346975232,3657433399607500800,7679859771777245184 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->handle_auth_reply_more | 0,5798876659189800960,6850432694908821504,8279948037938364416 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->invalidate_authorizer | 0,1001377535138050048,1463731196565176320 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->peer_reset | 0,2747659020159242240 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->put | 0,3343298065298829312,6612073531077701632,7503489253805752320 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->reencode_message | 0,4019355679470731264 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->sign_message | 0,1175390057949110272,1281680883755110400 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->sparse_read | 0,8552505226235363328 |
| PARAM_VALUE | 0 | 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 | 0 |
| PARAM_VALUE | 1 | cap->session | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mdsc->snap_rwsem | ||
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | &session->s_mutex |
fs/ceph/mds_client.c ceph_iterate_session_caps() -> ceph_put_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc->fsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->add_authorizer_challenge | 0,4570694679072546816,9106719031468761088 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->alloc_msg | 0,1819672071517347840,3985100338545319936,8051317338035064832 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->check_message_signature | 0,2338881485687373824,7398673791904043008 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->dispatch | 0,5069345856845316096,5185361939284975616,8367005991706517504 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->fault | 0,5235114639455322112,7890162724431134720 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->get | 0,1733957411014758400,5067823073802145792,9046076307153379328 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->get_auth_request | 0,3097215666396741632,6863677008278192128,8191687471266062336 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->get_authorizer | 0,824788881680629760,9056656172098445312 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->handle_auth_bad_method | 0,476257765314297856,2064871891929993216,3616707156672061440 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->handle_auth_done | 0,218166346346975232,3657433399607500800,7679859771777245184 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->handle_auth_reply_more | 0,5798876659189800960,6850432694908821504,8279948037938364416 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->invalidate_authorizer | 0,1001377535138050048,1463731196565176320 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->peer_reset | 0,2747659020159242240 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->put | 0,3343298065298829312,6612073531077701632,7503489253805752320 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->reencode_message | 0,4019355679470731264 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->sign_message | 0,1175390057949110272,1281680883755110400 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->sparse_read | 0,8552505226235363328 |
| PARAM_VALUE | 0 | 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 | 0 |
| PARAM_VALUE | 1 | cap->session | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mdsc->snap_rwsem | ||
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | &session->s_mutex |
fs/ceph/mds_client.c ceph_send_cap_releases() -> ceph_put_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->fsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | mdsc->fsc->client->osdc.lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | cap | 4096-ptr_max |
| DATA_SOURCE | 0 | mdsc | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &session->s_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_mds_session)->s_mutex |
fs/ceph/mds_client.c dispose_cap_releases() -> ceph_put_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->fsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->add_authorizer_challenge | 0,4570694679072546816,9106719031468761088 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->alloc_msg | 0,1819672071517347840,3985100338545319936,8051317338035064832 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->check_message_signature | 0,2338881485687373824,7398673791904043008 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->dispatch | 0,5069345856845316096,5185361939284975616,8367005991706517504 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->fault | 0,5235114639455322112,7890162724431134720 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->get | 0,1733957411014758400,5067823073802145792,9046076307153379328 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->get_auth_request | 0,3097215666396741632,6863677008278192128,8191687471266062336 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->get_authorizer | 0,824788881680629760,9056656172098445312 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->handle_auth_bad_method | 0,476257765314297856,2064871891929993216,3616707156672061440 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->handle_auth_done | 0,218166346346975232,3657433399607500800,7679859771777245184 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->handle_auth_reply_more | 0,5798876659189800960,6850432694908821504,8279948037938364416 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->invalidate_authorizer | 0,1001377535138050048,1463731196565176320 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->peer_reset | 0,2747659020159242240 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->put | 0,3343298065298829312,6612073531077701632,7503489253805752320 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->reencode_message | 0,4019355679470731264 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->sign_message | 0,1175390057949110272,1281680883755110400 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->sparse_read | 0,8552505226235363328 |
| PARAM_VALUE | 0 | mdsc->metric.session->s_con.ops->verify_authorizer_reply | 0,3350695966436954112,7309319912932315136 |
| PARAM_VALUE | 1 | cap | 4096-ptr_max |
| DATA_SOURCE | 0 | mdsc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &session->s_mutex |
fs/ceph/caps.c __ceph_remove_cap() -> ceph_put_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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 | 0 |
| 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 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | cap | unit_byte |
| HALF_LOCKED2 | &ci->i_ceph_lock |
fs/ceph/caps.c handle_cap_export() -> ceph_put_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->caps_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->fsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->mdsmap | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->sessions | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->snap_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | mdsc->snap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | mdsc->snap_rwsem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->snap_rwsem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | mdsc->snap_rwsem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | *mdsc->sessions | 4096-ptr_max |
| PARAM_VALUE | 1 | cap | 1-u64max |
| PARAM_VALUE | 1 | cap->implemented | s32min-s32max |
| PARAM_VALUE | 1 | cap->issued | s32min-s32max |
| PARAM_VALUE | 1 | cap->mds_wanted | s32min-s32max |
| PARAM_VALUE | 1 | cap->mseq | 0-4294967295 |
| CAPPED_DATA | 0 | &mdsc->snap_rwsem | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mdsc->max_sessions |
fs/ceph/caps.c handle_cap_import() -> ceph_put_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->caps_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdsc->fsc | 4096-ptr_max |
| PARAM_VALUE | 1 | cap | 1-u64max |
| DATA_SOURCE | 0 | mdsc | $0 |
| DATA_SOURCE | 1 | cap | r ceph_get_cap |
| NOCHECK_CALL | |||
| LOCK2 | &ci->i_ceph_lock | ||
| TYPE_LOCK | (struct ceph_inode_info)->i_ceph_lock |
fs/ceph/inode.c ceph_fill_inode() -> ceph_put_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdsc | 4096-ptr_max |
| PARAM_VALUE | 0 | mdsc->fsc | 4096-ptr_max |
| PARAM_VALUE | 1 | cap | 1-u64max |
| PARAM_VALUE | 1 | cap->implemented | s32min-s32max |
| PARAM_VALUE | 1 | cap->issued | s32min-s32max |
| PARAM_VALUE | 1 | cap->mds_wanted | s32min-s32max |
| PARAM_VALUE | 1 | cap->mseq | 0-4294967295 |
| DATA_SOURCE | 0 | mdsc | r ceph_sb_to_mdsc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &mdsc->snap_rwsem | ||
| HALF_LOCKED2 | &req->r_fill_mutex | ||
| HALF_LOCKED2 | &session->s_mutex | ||
| TYPE_LOCK | (struct ceph_mds_client)->snap_rwsem |