Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ceph/addr.c ceph_invalidate_folio() -> ceph_put_wrbuffer_cap_refs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 1 | nr | 1 |
| BUF_SIZE | 2 | snapc | (-1),1-s32max |
| BUF_SIZE | 2 | snapc | (-1),1-s32max |
| DATA_SOURCE | 0 | ci | r ceph_inode |
| DATA_SOURCE | 2 | snapc | r folio_detach_private |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ceph/addr.c write_folio_nounlock() -> ceph_put_wrbuffer_cap_refs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->i_layout.pool_ns | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ci->i_layout.pool_ns->kref.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | nr | 1 |
| PARAM_VALUE | 2 | snapc | 4096-ptr_max |
| CAPPED_DATA | 2 | snapc | 1 |
| CAPPED_DATA | 2 | snapc->seq | 1 |
| DATA_SOURCE | 0 | ci | r ceph_inode |
| DATA_SOURCE | 2 | snapc | r page_snap_context |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ceph/addr.c writepages_finish() -> ceph_put_wrbuffer_cap_refs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->netfs.inode.i_sb | 4096-ptr_max |
| DATA_SOURCE | 0 | ci | r ceph_inode |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |