Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/xfs_bmap_util.c xfs_getbmap() -> xfs_getbmap_report_one()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | bmv | 3323989117767602176 |
| PARAM_VALUE | 1 | bmv->bmv_count | 2-67108862 |
| PARAM_VALUE | 1 | bmv->bmv_entries | s32min-67108860 |
| PARAM_VALUE | 1 | bmv->bmv_iflags | 0-62 |
| PARAM_VALUE | 1 | bmv->bmv_length | 1-s64max |
| PARAM_VALUE | 2 | out | 16,4096-ptr_max |
| PARAM_VALUE | 4 | got | 7282626938155622400 |
| PARAM_VALUE | 4 | got->br_state | 0-1 |
| BUF_SIZE | 2 | out | 64-2147483584 |
| BUF_SIZE | 2 | out | 64-2147483584 |
| CAPPED_DATA | 1 | bmv->bmv_entries | 1 |
| DATA_SOURCE | 0 | ip | $0 |
| DATA_SOURCE | 1 | bmv | $1 |
| DATA_SOURCE | 2 | out | $2 |
| FUZZY_MAX | 1 | bmv->bmv_entries | 0 |
| NOSPEC | 1 | bmv->bmv_count | |
| USER_DATA | 1 | bmv->bmv_block | s64min-s64max |
| USER_DATA | 1 | bmv->bmv_count | 3-67108862[c] |
| USER_DATA | 1 | bmv->bmv_iflags | 0-62 |
| USER_DATA | 1 | bmv->bmv_length | 1-s64max |
| USER_DATA | 1 | bmv->bmv_offset | s64min-s64max |
| USER_DATA | 1 | bmv->bmv_oflags | s32min-s32max |
| USER_DATA | 1 | bmv->bmv_unused1 | s32min-s32max |
| USER_DATA | 1 | bmv->bmv_unused2 | s32min-s32max |
| USER_DATA | 4 | got->br_startoff | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 1 | bmv->bmv_count | |
| UNITS | 3 | bmv_end | unit_byte |