Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/exfat/dir.c exfat_get_uniname_from_ext_entry() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 6530616040916971520 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_fs_info->num_clusters | 0-4294967295 |
| PARAM_VALUE | 2 | p_dir | 1813826274840068096 |
| PARAM_VALUE | 2 | p_dir->dir | 0-4294967286,4294967288-4294967294 |
| PARAM_VALUE | 3 | entry | 0-8388607 |
| PARAM_VALUE | 4 | num_entries | 0 |
| CAPPED_DATA | 3 | entry | 1 |
| DATA_SOURCE | 1 | sb | $0 |
| DATA_SOURCE | 2 | p_dir | $1 |
| DATA_SOURCE | 3 | entry | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | sb | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/exfat/inode.c __exfat_write_inode() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3665638256698089472 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_fs_info->boot_bh->b_data->vol_flags | 0-u16max |
| PARAM_VALUE | 1 | sb->s_fs_info->boot_bh->b_folio->mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sb->s_fs_info->boot_bh->b_folio->mapping->host->i_state.__state | 0-4294967295 |
| PARAM_VALUE | 1 | sb->s_fs_info->vol_flags | 0-u16max |
| PARAM_VALUE | 2 | p_dir | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir->dir | 0-4294967286,4294967288-u32max |
| PARAM_VALUE | 4 | num_entries | 0 |
| BUF_SIZE | 1 | sb | (-1),80,2816 |
| BUF_SIZE | 1 | sb | (-1),80,2816 |
| STR_LEN | 0 | es | (-1),8 |
| STR_LEN | 1 | sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 1 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 1 | sb->s_blocksize_bits | |
| UNITS | 1 | sb | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/exfat/namei.c __exfat_rename() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 2100962279375327232 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_fs_info->boot_bh->b_data->vol_flags | 0-u16max |
| PARAM_VALUE | 1 | sb->s_fs_info->boot_bh->b_folio->mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sb->s_fs_info->boot_bh->b_folio->mapping->host->i_state.__state | 0-4294967295 |
| PARAM_VALUE | 1 | sb->s_fs_info->vol_flags | 0-u16max |
| PARAM_VALUE | 2 | p_dir | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir->dir | 0-4294967286,4294967288-u32max |
| PARAM_VALUE | 4 | num_entries | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | sb | unit_byte |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_add_entry() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3220077936394158080 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 1 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->num_entries | 0-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir | 7539200700673478656,8527905750626955264 |
| PARAM_VALUE | 3 | entry | 0-s32max |
| PARAM_VALUE | 4 | num_entries | 0 |
| CAPPED_DATA | 3 | entry | 1 |
| DATA_SOURCE | 3 | entry | r exfat_find_empty_entry |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | sb | unit_byte |
fs/exfat/namei.c exfat_find() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 4213242667796885504 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sb->s_fs_info->dentries_per_clu | 1-s32max |
| PARAM_VALUE | 1 | sb->s_fs_info->num_clusters | 0-4294967295 |
| PARAM_VALUE | 2 | p_dir | 8306537436773421056 |
| PARAM_VALUE | 4 | num_entries | 2 |
| CAPPED_DATA | 1 | sb->s_fs_info->dentries_per_clu | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | sb | unit_byte |
| HALF_LOCKED2 | &dir->i_rwsem |
fs/exfat/namei.c exfat_move_file() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3645734142746451968 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 2 | p_dir | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir->dir | 0-4294967286,4294967288-u32max |
| PARAM_VALUE | 4 | num_entries | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | sb | unit_byte |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_move_file() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 1 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->num_entries | 0-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 1 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_fs_info->bitmap_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sb->s_fs_info->bitmap_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | sb->s_fs_info->bitmap_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | sb->s_fs_info->bitmap_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sb->s_fs_info->bitmap_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | sb->s_fs_info->bitmap_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | sb->s_fs_info->bitmap_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | sb->s_fs_info->bitmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | sb->s_fs_info->clu_srch_ptr | 2-4294967295 |
| PARAM_VALUE | 1 | sb->s_fs_info->num_clusters | 0-4294967295 |
| PARAM_VALUE | 1 | sb->s_fs_info->used_clusters | 0-4294967295 |
| PARAM_VALUE | 2 | p_dir | 7965162380417998848 |
| PARAM_VALUE | 3 | entry | 0-s32max |
| PARAM_VALUE | 4 | num_entries | 0 |
| CAPPED_DATA | 1 | sb->s_fs_info->num_clusters | 1 |
| CAPPED_DATA | 3 | entry | 1 |
| DATA_SOURCE | 3 | entry | r exfat_find_empty_entry |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | sb | unit_byte |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rename_file() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 8532271618055139328 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir->dir | 0-4294967286,4294967288-u32max |
| PARAM_VALUE | 4 | num_entries | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | sb | unit_byte |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rename_file() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 5792618027727773696 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 1 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->num_entries | 0-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_fs_info->num_clusters | 0-4294967295 |
| PARAM_VALUE | 2 | p_dir | 2370590297960607744 |
| PARAM_VALUE | 3 | entry | 0-s32max |
| PARAM_VALUE | 4 | num_entries | 0 |
| CAPPED_DATA | 3 | entry | 1 |
| DATA_SOURCE | 3 | entry | r exfat_find_empty_entry |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | sb | unit_byte |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rmdir() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 630081283518853120 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir->dir | 0-4294967286,4294967288-u32max |
| PARAM_VALUE | 4 | num_entries | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | 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/exfat/namei.c exfat_unlink() -> exfat_get_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 8603399210742194176 |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir | 4096-ptr_max |
| PARAM_VALUE | 2 | p_dir->dir | 0-4294967286,4294967288-u32max |
| PARAM_VALUE | 4 | num_entries | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | 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 |