Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/inode.c gfs2_exchange() -> gfs2_unlink_ok()

Type Parameter Key Value
PARAM_VALUE 0 dip 4096-ptr_max
PARAM_VALUE 0 dip->i_gl 4096-ptr_max
PARAM_VALUE 0 dip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 0 dip->i_inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dip->i_inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 ip 4096-ptr_max
PARAM_VALUE 2 ip->i_gl 4096-ptr_max
PARAM_VALUE 2 ip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 2 ip->i_inode.i_nlink 1-u32max
CAPPED_DATA 0 dip 1
DATA_SOURCE 0 dip r GFS2_I
DATA_SOURCE 2 ip r GFS2_I
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/gfs2/inode.c gfs2_exchange() -> gfs2_unlink_ok()

Type Parameter Key Value
PARAM_VALUE 0 dip 4096-ptr_max
PARAM_VALUE 0 dip->i_inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dip->i_inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 ip 4096-ptr_max
PARAM_VALUE 2 ip->i_gl 4096-ptr_max
PARAM_VALUE 2 ip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 2 ip->i_inode.i_nlink 1-u32max
CAPPED_DATA 0 dip 1
DATA_SOURCE 0 dip r GFS2_I
DATA_SOURCE 2 ip r GFS2_I
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/gfs2/inode.c gfs2_rename() -> gfs2_unlink_ok()

Type Parameter Key Value
PARAM_VALUE 0 dip 4096-ptr_max
PARAM_VALUE 0 dip->i_gl 4096-ptr_max
PARAM_VALUE 0 dip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 ip 4096-ptr_max
PARAM_VALUE 2 ip->i_gl 4096-ptr_max
PARAM_VALUE 2 ip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 2 ip->i_inode.i_nlink 1-u32max
CAPPED_DATA 0 dip 1
DATA_SOURCE 0 dip r GFS2_I
DATA_SOURCE 2 ip r GFS2_I
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/gfs2/inode.c gfs2_rename() -> gfs2_unlink_ok()

Type Parameter Key Value
PARAM_VALUE 0 dip 4096-ptr_max
PARAM_VALUE 0 dip->i_inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dip->i_inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 dip->i_inode.i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 dip->i_inode.i_sb->s_fs_info->sd_args.ar_quota 0-3
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 ip 4096-ptr_max
PARAM_VALUE 2 ip->i_gl 4096-ptr_max
PARAM_VALUE 2 ip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 2 ip->i_no_addr 0-18446744073709551614
CAPPED_DATA 0 dip 1
CAPPED_DATA 2 ip->i_no_addr 1
DATA_SOURCE 0 dip r GFS2_I
DATA_SOURCE 2 ip r GFS2_I
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/gfs2/inode.c gfs2_unlink() -> gfs2_unlink_ok()

Type Parameter Key Value
PARAM_VALUE 0 dip 4096-ptr_max
PARAM_VALUE 0 dip->i_gl 4096-ptr_max
PARAM_VALUE 0 dip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 0 dip->i_gl->gl_name.ln_sbd 4096-ptr_max
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 ip 4096-ptr_max
PARAM_VALUE 2 ip->i_gl 4096-ptr_max
PARAM_VALUE 2 ip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 2 ip->i_gl->gl_name.ln_sbd 4096-ptr_max
PARAM_VALUE 2 ip->i_no_addr 0-18446744073709551614
CAPPED_DATA 2 ip->i_no_addr 1
DATA_SOURCE 0 dip r GFS2_I
DATA_SOURCE 2 ip r GFS2_I
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem