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