Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/udf/namei.c udf_add_nondir() -> udf_add_fid_counter()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 dir 0
PARAM_VALUE 2 val 1
CAPPED_DATA 0 sb->s_time_max 1
PARAM_COMPARE 0 sb->s_time_max >= $0->s_time_min
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte

fs/udf/namei.c udf_link() -> udf_add_fid_counter()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 dir 0
PARAM_VALUE 2 val 1
CAPPED_DATA 0 sb 1
CAPPED_DATA 0 sb->s_user_ns->gid_map.nr_extents 1
CAPPED_DATA 0 sb->s_user_ns->uid_map.nr_extents 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/udf/namei.c udf_mkdir() -> udf_add_fid_counter()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_blocksize 176-4000216
PARAM_VALUE 0 sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 sb->s_fs_info->s_alloc_mutex.dep_map->name 0-255
PARAM_VALUE 0 sb->s_fs_info->s_alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sb->s_fs_info->s_alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sb->s_fs_info->s_alloc_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sb->s_fs_info->s_alloc_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sb->s_fs_info->s_alloc_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sb->s_fs_info->s_alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sb->s_fs_info->s_partitions 0-u16max
PARAM_VALUE 0 sb->s_fs_info->s_udfrev 512
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.timer.is_hard 0-1
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.timer.is_lazy 0-1
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.timer.is_queued 0-1
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.timer.is_soft 0-1
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.work.flags 0-4294967295
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.work.function 1626621062881370112
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.work.is_hard 0-1
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.work.is_lazy 0-1
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.work.is_queued 0-1
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.work.is_soft 0-1
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 sb->s_op 4096-ptr_max
PARAM_VALUE 1 dir 1
PARAM_VALUE 2 val 1
CAPPED_DATA 0 sb 1
CAPPED_DATA 0 sb->s_fs_info->s_partitions 1
CAPPED_DATA 0 sb->s_user_ns->gid_map.nr_extents 1
CAPPED_DATA 0 sb->s_user_ns->uid_map.nr_extents 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
HALF_LOCKED2 &dentry->d_lockref.lock

fs/udf/namei.c udf_rename() -> udf_add_fid_counter()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.work.function 1626621062881370112
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 val (-1)
CAPPED_DATA 0 sb->s_fs_info->s_partitions 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/udf/namei.c udf_rmdir() -> udf_add_fid_counter()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.work.function 1626621062881370112
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir 1
PARAM_VALUE 2 val (-1)
CAPPED_DATA 0 sb->s_fs_info->s_partitions 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
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/udf/namei.c udf_unlink() -> udf_add_fid_counter()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->dwork.work.function 1626621062881370112
PARAM_VALUE 0 sb->s_fs_info->s_vat_inode->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir 0
PARAM_VALUE 2 val (-1)
CAPPED_DATA 0 sb->s_fs_info->s_partitions 1
CAPPED_DATA 0 sb->s_time_max 1
PARAM_COMPARE 0 sb->s_time_max >= $0->s_time_min
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
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