Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/erofs/zdata.c z_erofs_bvec_dequeue() -> z_erofs_bvset_flip()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 2446284287594668032 |
| CAPPED_DATA | 0 | iter->cur | 1 |
| CAPPED_DATA | 0 | iter->nr | 1 |
| DATA_SOURCE | 0 | iter | $0 |
| PARAM_COMPARE | 0 | iter->cur | == $0->nr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &pcl->lock | ||
| TYPE_LOCK | (struct z_erofs_pcluster)->lock |
fs/erofs/zdata.c z_erofs_bvec_enqueue() -> z_erofs_bvset_flip()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 1508504095595012192,2200510278346444896 |
| PARAM_VALUE | 0 | iter->bvset | 4096-ptr_max |
| PARAM_VALUE | 0 | iter->bvset->nextpage | 1-u64max |
| CAPPED_DATA | 0 | iter->nr | 1 |
| DATA_SOURCE | 0 | iter | $0 |
| PARAM_COMPARE | 0 | iter->cur | >= $0->nr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/erofs/zdata.c z_erofs_bvec_iter_begin() -> z_erofs_bvset_flip()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 1508504095595012192,2200510278346444896,2446284287594668032 |
| PARAM_VALUE | 0 | iter->nr | 0-4294967294 |
| CAPPED_DATA | 0 | iter->nr | 1 |
| DATA_SOURCE | 0 | iter | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pcl->lock |