Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/xfs_exchrange.c xfs_exchrange_mappings() -> xfs_exchange_mappings()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_flags | 0,4,16,20,32,36,64,68,80,84 |
| PARAM_VALUE | 0 | tp->t_highest_agno | 4294967295 |
| PARAM_VALUE | 0 | tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_mountp | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | tp->t_pflags | 0,262144 |
| PARAM_VALUE | 1 | req | 2452960214420099072 |
| PARAM_VALUE | 1 | req->blockcount | 1-u64max |
| PARAM_VALUE | 1 | req->flags | 0,2,4,6 |
| PARAM_VALUE | 1 | req->ip1 | 4096-ptr_max |
| PARAM_VALUE | 1 | req->ip2 | 4096-ptr_max |
| PARAM_VALUE | 1 | req->resblks | 0-u32max |
| NOCHECK_CALL | |||
| USER_DATA | 1 | req->ip1_rtbcount | 0-u64max[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 1 | req->ip1_bcount | |
| NO_OVERFLOW_SIMPLE | 1 | req->ip2_bcount | |
| NO_OVERFLOW_SIMPLE | 1 | req->resblks |
fs/xfs/scrub/tempfile.c xrep_tempexch_contents() -> xfs_exchange_mappings()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 0,4096-ptr_max |
| CAPPED_DATA | 0 | tp | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 1 | req->ip1_bcount | |
| NO_OVERFLOW_SIMPLE | 1 | req->ip2_bcount | |
| NO_OVERFLOW_SIMPLE | 1 | req->resblks |