Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/xfs_exchrange.c xfs_exchrange_prep() -> xfs_exchrange_check_rtalign()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fxr | 2485469382734839808,4643382934292082688 |
| PARAM_VALUE | 0 | fxr->file1_offset | 0-s64max |
| PARAM_VALUE | 0 | fxr->file2_offset | 0-s64max |
| PARAM_VALUE | 0 | fxr->flags | 0-14,2305843009213693952-2305843009213693966,4611686018427387904-4611686018427387918,6917529027641081856-6917529027641081870,9223372036854775808-9223372036854775822,11529215046068469760-11529215046068469774,13835058055282163712-u64max |
| PARAM_VALUE | 1 | ip1 | 4096-ptr_max |
| PARAM_VALUE | 2 | ip2 | 4096-ptr_max |
| CAPPED_DATA | 0 | fxr->file1->f_path.mnt | 1 |
| CAPPED_DATA | 0 | fxr->file2->f_path.mnt | 1 |
| CAPPED_DATA | 1 | ip1 | 1 |
| CAPPED_DATA | 2 | ip2 | 1 |
| DATA_SOURCE | 0 | fxr | $0 |
| DATA_SOURCE | 1 | ip1 | $1 |
| DATA_SOURCE | 2 | ip2 | $2 |
| DATA_SOURCE | 3 | alloc_unit | r xfs_inode_alloc_unitsize |
| BIT_INFO | 0 | fxr->file1->f_flags | 0x0,0xfffffbff |
| BIT_INFO | 0 | fxr->file1->f_mode | 0x3,0xffffffffffffffff |
| BIT_INFO | 0 | fxr->file2->f_flags | 0x0,0xfffffbff |
| BIT_INFO | 0 | fxr->file2->f_mode | 0x3,0xffffffffffffffff |
| BIT_INFO | 0 | fxr->file2_ctime.tv_nsec | 0x0,0xffffffff |
| BIT_INFO | 0 | fxr->file2_mtime.tv_nsec | 0x0,0xffffffff |
| BIT_INFO | 0 | fxr->flags | 0x0,0xe00000000000000f |
| USER_DATA | 0 | fxr->file1_offset | 0-s64max |
| USER_DATA | 0 | fxr->file2_offset | 0-s64max |
| USER_DATA | 0 | fxr->flags | 0-14,2305843009213693952-2305843009213693966 |
| USER_DATA | 0 | fxr->length | 0-u64max |