xfs_exchrange_prep identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/xfs/xfs_exchrange.c, line 587 (as a function)

Referenced in 2 files:

Smatch caller information:

fs/xfs/xfs_exchrange.c xfs_exchrange_contents() -> xfs_exchrange_prep()

Type	Parameter	Key	Value
PARAM_VALUE	0	fxr	2485469382734839808,4643382934292082688
PARAM_VALUE	0	fxr->file1	4096-ptr_max
PARAM_VALUE	0	fxr->file1->f_mode	33554432-u32max
PARAM_VALUE	0	fxr->file1->f_path->dentry->d_parent->d_alias.next->pprev	1-u64max
PARAM_VALUE	0	fxr->file1->f_path->dentry->d_parent->d_fsdata->d_fsdata	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	fxr->file1->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->active.counter	s32min-s32max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_flags	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits	0-255
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes	0-u16max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen	s32min-s32max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode	0-u16max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags	0-u16max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time	0-u16max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history	0-u16max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner	s32min-s32max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->d_lockref.count	s32min-s32max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->management_timer.flags	0-4294967295
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard	0-1
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy	0-1
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued	0-1
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft	0-1
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	fxr->file1->f_path.dentry->d_parent->d_fsdata->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	fxr->file1_offset	0-s64max
PARAM_VALUE	0	fxr->file2	4096-ptr_max
PARAM_VALUE	0	fxr->file2->f_mode	33554432-u32max
PARAM_VALUE	0	fxr->file2->f_path->dentry->d_parent->d_alias.next->pprev	1-u64max
PARAM_VALUE	0	fxr->file2->f_path->dentry->d_parent->d_fsdata->d_fsdata	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	fxr->file2->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->active.counter	s32min-s32max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_flags	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits	0-255
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes	0-u16max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen	s32min-s32max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode	0-u16max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags	0-u16max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time	0-u16max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history	0-u16max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner	s32min-s32max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->d_lockref.count	s32min-s32max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->management_timer.flags	0-4294967295
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard	0-1
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy	0-1
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued	0-1
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft	0-1
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	fxr->file2->f_path.dentry->d_parent->d_fsdata->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	fxr->file2_ctime.tv_nsec	s32min-s32max
PARAM_VALUE	0	fxr->file2_mtime.tv_nsec	s32min-s32max
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	1	ip1->i_lock.dep_map->name	0-255
PARAM_VALUE	1	ip1->i_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	1	ip1->i_lock.first_waiter->type	0-1
PARAM_VALUE	1	ip1->i_mount	4096-ptr_max
PARAM_VALUE	2	ip2	4096-ptr_max
PARAM_VALUE	2	ip2->i_lock.dep_map->name	0-255
PARAM_VALUE	2	ip2->i_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	2	ip2->i_lock.first_waiter->type	0-1
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	r XFS_I
DATA_SOURCE	2	ip2	r XFS_I
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->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