Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/scrub/xfarray.c xfarray_sort() -> xfarray_qsort_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | si | 4096-ptr_max |
| PARAM_VALUE | 0 | si->array | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | si->array->max_nr | 1-u64max |
| PARAM_VALUE | 0 | si->array->obj_size | 0-2147479552 |
| PARAM_VALUE | 0 | si->cmp_fn | 480709212507099136,1286790576095477760,3422278010223984640,4379624412301524992,4859704153286172672 |
| PARAM_VALUE | 0 | si->flags | 0-1 |
| PARAM_VALUE | 0 | si->folio | 0 |
| PARAM_VALUE | 0 | si->max_stack_depth | 1-29 |
| PARAM_VALUE | 0 | si->max_stack_used | 1-255 |
| PARAM_VALUE | 0 | si->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | si->stack_depth | 0-127 |
| PARAM_VALUE | 1 | si_lo | 4096-ptr_max |
| PARAM_VALUE | 2 | si_hi | 4096-ptr_max |
| CAPPED_DATA | 0 | si->array->max_nr | 1 |
| CAPPED_DATA | 0 | si->array->obj_size | 1 |
| CAPPED_DATA | 3 | lo | 1 |
| CAPPED_DATA | 3 | lo | 1 |
| CAPPED_DATA | 4 | hi | 1 |
| CAPPED_DATA | 4 | hi | 1 |
| DATA_SOURCE | 1 | si_lo | r xfarray_sortinfo_lo |
| DATA_SOURCE | 2 | si_hi | r xfarray_sortinfo_hi |
| PARAM_COMPARE | 3 | lo | < $0->array->max_nr |
| PARAM_COMPARE | 3 | lo | < $0->array->max_nr |
| PARAM_COMPARE | 3 | lo | >= $4 |
| PARAM_COMPARE | 4 | hi | <= $3 |
| PARAM_COMPARE | 4 | hi | <= $3 |