Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/scrub/readdir.c xchk_dir_walk_leaf() -> xchk_read_leaf_dir_buf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dp | 4096-ptr_max |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dp->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 3 | curoff | 6026647959273095168 |
| PARAM_VALUE | 3 | *curoff | 0-34359738367 |
| PARAM_VALUE | 4 | bpp | 1590225950212579328 |
| PARAM_VALUE | 4 | *bpp | 0 |
| DATA_SOURCE | 1 | dp | $1 |