Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ntfs/namei.c ntfs_rename() -> ntfs_delete()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 0 ni->mrec_lock.dep_map->name 0-255
PARAM_VALUE 0 ni->mrec_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ni->mrec_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ni->mrec_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ni->mrec_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ni->mrec_lock.wait_lock.owner (-1)
PARAM_VALUE 0 ni->mrec_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 dir_ni 4096-ptr_max
PARAM_VALUE 1 dir_ni->mrec_lock.dep_map->name 0-255
PARAM_VALUE 1 dir_ni->mrec_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 dir_ni->mrec_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 dir_ni->mrec_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 dir_ni->mrec_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 dir_ni->mrec_lock.wait_lock.owner (-1)
PARAM_VALUE 1 dir_ni->mrec_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 2 name 4096-ptr_max
PARAM_VALUE 2 *name 0-u16max
PARAM_VALUE 4 need_lock 0
BUF_SIZE 0 ni 776
BUF_SIZE 1 dir_ni 776
CAPPED_DATA 0 &ni->mrec_lock 1
CAPPED_DATA 1 &dir_ni->mrec_lock 1
CAPPED_DATA 3 name_len 1
DATA_SOURCE 0 ni r NTFS_I
DATA_SOURCE 1 dir_ni r NTFS_I
DATA_SOURCE 3 name_len r ntfs_nlstoucs
RX_PATH
TASK_NOT_RUNNING
LOCK2 &old_dir_ni->mrec_lock
LOCK2 &old_ni->mrec_lock
LOCK2 0 &ni->mrec_lock
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 1 &dir_ni->mrec_lock
TYPE_LOCK (struct ntfs_inode)->mrec_lock

fs/ntfs/namei.c ntfs_rename() -> ntfs_delete()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 0 ni->mrec_lock.dep_map->name 0-255
PARAM_VALUE 0 ni->mrec_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ni->mrec_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ni->vol->attrdef 4096-ptr_max
PARAM_VALUE 0 ni->vol->attrdef_size 1-s32max
PARAM_VALUE 0 ni->vol->lcnbmp_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->vol->lcnbmp_lock.first_waiter->type 0-1
PARAM_VALUE 0 ni->vol->mftbmp_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->vol->mftbmp_lock.first_waiter->type 0-1
PARAM_VALUE 1 dir_ni 4096-ptr_max
PARAM_VALUE 1 dir_ni->mrec_lock.dep_map->name 0-255
PARAM_VALUE 1 dir_ni->mrec_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 dir_ni->mrec_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 dir_ni->mrec_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 dir_ni->mrec_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 dir_ni->mrec_lock.wait_lock.owner (-1)
PARAM_VALUE 1 dir_ni->mrec_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 dir_ni->vol 4096-ptr_max
PARAM_VALUE 2 name 4096-ptr_max
PARAM_VALUE 2 *name 0-u16max
PARAM_VALUE 4 need_lock 0
BUF_SIZE 0 ni 776
BUF_SIZE 1 dir_ni 776
CAPPED_DATA 0 ni 1
CAPPED_DATA 0 &ni->mrec_lock 1
CAPPED_DATA 1 &dir_ni->mrec_lock 1
CAPPED_DATA 3 name_len 1
DATA_SOURCE 0 ni r NTFS_I
DATA_SOURCE 1 dir_ni r NTFS_I
DATA_SOURCE 3 name_len r ntfs_nlstoucs
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ni->mrec
LOCK2 0 &ni->mrec_lock
LOCK2 1 &dir_ni->mrec_lock
HALF_LOCKED2 &new_dir_ni->mrec_lock
HALF_LOCKED2 &new_ni->mrec_lock
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct ntfs_inode)->mrec_lock

fs/ntfs/namei.c ntfs_rename() -> ntfs_delete()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 0 ni->folio_ofs 0-4095
PARAM_VALUE 0 ni->mrec_lock.dep_map->name 0-255
PARAM_VALUE 0 ni->mrec_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ni->mrec_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ni->mrec_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ni->vol->attrdef 4096-ptr_max
PARAM_VALUE 0 ni->vol->attrdef_size 1-s32max
PARAM_VALUE 0 ni->vol->lcnbmp_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->vol->lcnbmp_lock.first_waiter->type 0-1
PARAM_VALUE 0 ni->vol->mftbmp_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->vol->mftbmp_lock.first_waiter->type 0-1
PARAM_VALUE 1 dir_ni 4096-ptr_max
PARAM_VALUE 1 dir_ni->mrec_lock.dep_map->name 0-255
PARAM_VALUE 1 dir_ni->mrec_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 dir_ni->mrec_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 *dir_ni->mrec 0-255
PARAM_VALUE 2 name 4096-ptr_max
PARAM_VALUE 2 *name 0-u16max
PARAM_VALUE 4 need_lock 0
BUF_SIZE 0 ni 776
BUF_SIZE 1 dir_ni 776
CAPPED_DATA 0 ni 1
CAPPED_DATA 0 &ni->mrec_lock 1
CAPPED_DATA 1 &dir_ni->mrec_lock 1
CAPPED_DATA 3 name_len 1
DATA_SOURCE 0 ni r NTFS_I
DATA_SOURCE 1 dir_ni r NTFS_I
DATA_SOURCE 3 name_len r ntfs_nlstoucs
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ni->mrec
NO_OVERFLOW_SIMPLE 1 dir_ni->mrec
LOCK2 &old_dir_ni->mrec_lock
LOCK2 0 &ni->mrec_lock
HALF_LOCKED2 &new_ni->mrec_lock
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 1 &dir_ni->mrec_lock
TYPE_LOCK (struct ntfs_inode)->mrec_lock

fs/ntfs/namei.c ntfs_rmdir() -> ntfs_delete()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 1 dir_ni 4096-ptr_max
PARAM_VALUE 2 name 4096-ptr_max
PARAM_VALUE 2 *name 0-u16max
PARAM_VALUE 4 need_lock 1
BUF_SIZE 0 ni 776
CAPPED_DATA 3 name_len 1
DATA_SOURCE 0 ni r NTFS_I
DATA_SOURCE 3 name_len r ntfs_nlstoucs
RX_PATH
TASK_NOT_RUNNING
LOCK2 &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
TYPE_LOCK (struct inode)->i_rwsem

fs/ntfs/namei.c ntfs_unlink() -> ntfs_delete()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 1 dir_ni 4096-ptr_max
PARAM_VALUE 2 name 4096-ptr_max
PARAM_VALUE 2 *name 0-u16max
PARAM_VALUE 4 need_lock 1
BUF_SIZE 0 ni 776
CAPPED_DATA 3 name_len 1
DATA_SOURCE 0 ni r NTFS_I
DATA_SOURCE 3 name_len r ntfs_nlstoucs
RX_PATH
TASK_NOT_RUNNING
LOCK2 &target->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
TYPE_LOCK (struct inode)->i_rwsem