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_dentry_set() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 4096-ptr_max |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0 |
| BUF_SIZE | 0 | es->bh | 0-u64max |
| BUF_SIZE | 0 | es->sb | (-1),80,2752 |
| DATA_SOURCE | 0 | es | $0 |
| FUZZY_MAX | 0 | es->num_bh | 1 |
| STR_LEN | 0 | es | (-1),8 |
| STR_LEN | 0 | es | (-1),8 |
| STR_LEN | 0 | es->sb | (-1),8 |
| MEM_ZERO | 0 | es | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | es->sb->s_flags | 0-2147552256[c] |
| NO_OVERFLOW_SIMPLE | 0 | es->sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | es->sb->s_blocksize_bits |
fs/exfat/dir.c exfat_get_dentry_set() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 4096-ptr_max |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0 |
| DATA_SOURCE | 0 | es | $0 |
| STR_LEN | 0 | es | (-1),8 |
| STR_LEN | 0 | es | (-1),8 |
| STR_LEN | 0 | es->sb | (-1) |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | es->sb->s_flags | 0-310477010[c] |
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/dir.c exfat_get_empty_dentry_set() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696,5986759141478764544 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0 |
| DATA_SOURCE | 0 | es | $0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | es->sb->s_blocksize | |
| HALF_LOCKED2 | &sbi->s_lock |
fs/exfat/dir.c exfat_get_uniname_from_ext_entry() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 6530616040916971520 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/exfat/dir.c exfat_read_volume_label() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 380416314244689920 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1 |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sync | 0 |
| MEM_ZERO | 0 | es | |
| NOCHECK_CALL | |||
| LOCK2 | &sbi->s_lock | ||
| TYPE_LOCK | (struct exfat_sb_info)->s_lock |
fs/exfat/dir.c exfat_read_volume_label() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 380416314244689920 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1 |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sync | 0 |
| MEM_ZERO | 0 | es | |
| NOCHECK_CALL | |||
| LOCK2 | &sbi->s_lock | ||
| TYPE_LOCK | (struct exfat_sb_info)->s_lock |
fs/exfat/dir.c exfat_write_volume_label() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 5986759141478764544 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sync | 0 |
| CAPABLE | 0 | 21 | |
| MEM_ZERO | 0 | es | |
| NOCHECK_CALL | |||
| LOCK2 | &sbi->s_lock | ||
| TYPE_LOCK | (struct exfat_sb_info)->s_lock |
fs/exfat/dir.c exfat_write_volume_label() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 5986759141478764544 |
| 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->sb | 4096-ptr_max |
| PARAM_VALUE | 1 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| CAPABLE | 0 | 21 | |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| LOCK2 | &sbi->s_lock | ||
| TYPE_LOCK | (struct exfat_sb_info)->s_lock |
fs/exfat/inode.c __exfat_write_inode() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3665638256698089472 |
| 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->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0-1 |
| DATA_SOURCE | 1 | sync | $1 |
| FUZZY_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/exfat/namei.c __exfat_rename() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 2100962279375327232 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_add_entry() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3220077936394158080 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/exfat/namei.c exfat_add_entry() -> exfat_put_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 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/namei.c exfat_add_entry() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3220077936394158080 |
| PARAM_VALUE | 0 | es->num_entries | 0-s32max |
| PARAM_VALUE | 1 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/namei.c exfat_find() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 4213242667796885504 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dir->i_rwsem |
fs/exfat/namei.c exfat_move_file() -> exfat_put_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 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_move_file() -> exfat_put_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 | sync | 0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_move_file() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3645734142746451968 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_move_file() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3645734142746451968 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rename_file() -> exfat_put_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 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rename_file() -> exfat_put_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 | sync | 0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rename_file() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| 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 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rename_file() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->modified | 0 |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_rmdir() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 630081283518853120 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| 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/exfat/namei.c exfat_unlink() -> exfat_put_dentry_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 8603399210742194176 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->num_bh | 1-s32max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | sync | 0-1 |
| FUZZY_MAX | 1 | sync | 1 |
| HARD_MAX | 1 | sync | 1 |
| MEM_ZERO | 0 | es | |
| 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 |