Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/scrub/xfarray.c xfarray_find_data() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
| DATA_SOURCE | 0 | array | $0 |
| DATA_SOURCE | 1 | idx | r xfarray_idx |
| HALF_LOCKED2 | &xnc->lock | ||
| HALF_LOCKED2 | &xqc->lock |
fs/xfs/scrub/xfarray.c xfarray_foliosort() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
| PARAM_VALUE | 1 | idx | 0-18446744073709551614 |
| CAPPED_DATA | 1 | idx | 1 |
| CAPPED_DATA | 1 | idx | 1 |
| DATA_SOURCE | 1 | idx | $1 |
fs/xfs/scrub/xfarray.c xfarray_foliosort() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
fs/xfs/scrub/xfarray.c xfarray_isort() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
| PARAM_VALUE | 1 | idx | 0-18446744073709551614 |
| CAPPED_DATA | 1 | idx | 1 |
| CAPPED_DATA | 1 | idx | 1 |
| DATA_SOURCE | 1 | idx | $1 |
fs/xfs/scrub/xfarray.c xfarray_isort() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
fs/xfs/scrub/xfarray.c xfarray_load() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
| PARAM_VALUE | 1 | idx | 0-18446744073709551614 |
| CAPPED_DATA | 1 | idx | 1 |
| CAPPED_DATA | 1 | idx | 1 |
| DATA_SOURCE | 0 | array | $0 |
| DATA_SOURCE | 1 | idx | $1 |
| PARAM_COMPARE | 0 | array->nr | > $1 |
| PARAM_COMPARE | 1 | idx | < $0->nr |
| UNITS | 1 | idx | unit_byte |
| HALF_LOCKED2 | &dl->lock | ||
| HALF_LOCKED2 | &dq->q_qlock | ||
| HALF_LOCKED2 | &rd->pscan.lock | ||
| HALF_LOCKED2 | &rp->pscan.lock | ||
| HALF_LOCKED2 | &rx->lock | ||
| HALF_LOCKED2 | &xnc->lock | ||
| HALF_LOCKED2 | &xqc->lock |
fs/xfs/scrub/xfarray.c xfarray_load_next() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | array | $0 |
| HALF_LOCKED2 | &xnc->lock | ||
| HALF_LOCKED2 | &xqc->lock |
fs/xfs/scrub/xfarray.c xfarray_sort_scan() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
| PARAM_VALUE | 0 | array->obj_size | 0-2147479552 |
| CAPPED_DATA | 0 | array->obj_size | 1 |
| DATA_SOURCE | 1 | idx | $1 |
fs/xfs/scrub/xfarray.c xfarray_sort_scan() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
| PARAM_VALUE | 0 | array->obj_size | 0-2147479552 |
| CAPPED_DATA | 0 | array->obj_size | 1 |
| CAPPED_DATA | 0 | array->xfile->file->f_inode->i_mapping | 1 |
fs/xfs/scrub/xfarray.c xfarray_store() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
| PARAM_VALUE | 1 | idx | 0-18446744073709551614 |
| CAPPED_DATA | 0 | array->obj_size | 1 |
| CAPPED_DATA | 1 | idx | 1 |
| CAPPED_DATA | 1 | idx | 1 |
| DATA_SOURCE | 0 | array | $0 |
| DATA_SOURCE | 1 | idx | $1 |
| PARAM_COMPARE | 0 | array->max_nr | > $1 |
| PARAM_COMPARE | 1 | idx | < $0->max_nr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | idx | |
| UNITS | 1 | idx | unit_array_size |
| HALF_LOCKED2 | &dq->q_qlock | ||
| HALF_LOCKED2 | &xnc->lock | ||
| HALF_LOCKED2 | &xqc->lock |
fs/xfs/scrub/xfarray.c xfarray_store_anywhere() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
| DATA_SOURCE | 0 | array | $0 |
| UNITS | 1 | idx | unit_byte |
fs/xfs/scrub/xfarray.c xfarray_unset() -> xfarray_pos()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | array | 4096-ptr_max |
| PARAM_VALUE | 0 | array->obj_size | 8 |
| PARAM_VALUE | 0 | array->obj_size_log | (-1)-31 |
| PARAM_VALUE | 1 | idx | 0-18446744073709551614 |
| CAPPED_DATA | 0 | array->nr | 1 |
| CAPPED_DATA | 1 | idx | 1 |
| CAPPED_DATA | 1 | idx | 1 |
| DATA_SOURCE | 0 | array | $0 |
| DATA_SOURCE | 1 | idx | $1 |
| UNITS | 1 | idx | unit_byte |