Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/reflink.c btrfs_remap_file_range() -> btrfs_double_mmap_lock()

Type Parameter Key Value
PARAM_VALUE 0 inode1 4096-ptr_max
PARAM_VALUE 0 inode1->root 4096-ptr_max
PARAM_VALUE 0 inode1->root->fs_info 4096-ptr_max
PARAM_VALUE 0 inode1->vfs_inode.i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 inode1->vfs_inode.i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 inode1->vfs_inode.i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 inode1->vfs_inode.i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inode1->vfs_inode.i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 1 inode2 4096-ptr_max
PARAM_VALUE 1 inode2->vfs_inode.i_rwsem.dep_map->name 0-255
PARAM_VALUE 1 inode2->vfs_inode.i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 inode2->vfs_inode.i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 inode2->vfs_inode.i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 inode2->vfs_inode.i_rwsem.osq.tail.counter 0-s32max
CAPPED_DATA 0 inode1 1
CAPPED_DATA 1 inode2 1
PARAM_COMPARE 0 inode1 != $1
PARAM_COMPARE 1 inode2 != $0
PARAM_COMPARE 1 inode2 != $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode_out->i_rwsem