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_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| BUF_SIZE | 0 | es->sb | (-1),80,2752 |
| DATA_SOURCE | 0 | es | $0 |
| 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 | |||
| 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 | |
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/dir.c exfat_get_dentry_set() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 4096-ptr_max |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| DATA_SOURCE | 0 | es | $0 |
| STR_LEN | 0 | es | (-1),8 |
| STR_LEN | 0 | es | (-1),8 |
| STR_LEN | 0 | es->sb | (-1) |
| PARAM_COMPARE | 0 | es->num_entries | > $1 |
| PARAM_COMPARE | 1 | num | < $0->num_entries |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | es->sb->s_flags | 0-310477010[c] |
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/dir.c exfat_get_uniname_from_ext_entry() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 6530616040916971520 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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_init_dir_entry() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3220077936394158080 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| DATA_SOURCE | 0 | es | $0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/dir.c exfat_init_dir_entry() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3220077936394158080 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 1 |
| DATA_SOURCE | 0 | es | $0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/dir.c exfat_init_ext_entry() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696,8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| DATA_SOURCE | 0 | es | $0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/dir.c exfat_init_ext_entry() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696,8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 1 |
| DATA_SOURCE | 0 | es | $0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/dir.c exfat_init_ext_entry() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3645734142746451968,8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| DATA_SOURCE | 0 | es | $3 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &rd.old_parent->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/dir.c exfat_init_ext_entry() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696,8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| DATA_SOURCE | 0 | es | $0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &rd.old_parent->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/dir.c exfat_init_ext_entry() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696,8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 2-18 |
| CAPPED_DATA | 1 | num | 1 |
| DATA_SOURCE | 0 | es | $0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/dir.c exfat_init_ext_entry() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696,8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | s32min-(-1) |
| DATA_SOURCE | 0 | es | $0 |
| FUZZY_MAX | 1 | num | u64max |
| HARD_MAX | 1 | num | (-1) |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/dir.c exfat_read_volume_label() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 380416314244689920 |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 1 | num | 0 |
| MEM_ZERO | 0 | es | |
| LOCK2 | &sbi->s_lock | ||
| TYPE_LOCK | (struct exfat_sb_info)->s_lock |
fs/exfat/dir.c exfat_remove_entries() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696 |
| PARAM_VALUE | 1 | num | 0-s32max |
| CAPPED_DATA | 1 | num | 1 |
| DATA_SOURCE | 0 | es | $1 |
| PARAM_COMPARE | 0 | es->num_entries | > $1 |
| PARAM_COMPARE | 1 | num | < $0->num_entries |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/dir.c exfat_update_dir_chksum() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696,8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0-s32max |
| CAPPED_DATA | 1 | num | 1 |
| DATA_SOURCE | 0 | es | $0 |
| FUZZY_MAX | 1 | num | 0 |
| PARAM_COMPARE | 0 | es->num_entries | > $1 |
| PARAM_COMPARE | 1 | num | < $0->num_entries |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/dir.c exfat_update_dir_chksum() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,3665638256698089472,5792618027727773696,8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| CAPPED_DATA | 0 | es->num_entries | 1 |
| DATA_SOURCE | 0 | es | $0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/exfat/dir.c exfat_validate_empty_dentry_set() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696,5986759141478764544 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| DATA_SOURCE | 0 | es | $0 |
| PARAM_COMPARE | 0 | es->num_entries | > $1 |
| PARAM_COMPARE | 1 | num | < $0->num_entries |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | es->sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | es->sb->s_blocksize_bits | |
| HALF_LOCKED2 | &sbi->s_lock |
fs/exfat/dir.c exfat_validate_empty_dentry_set() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832,3220077936394158080,5792618027727773696,5986759141478764544 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| CAPPED_DATA | 1 | num | 1 |
| DATA_SOURCE | 0 | es | $0 |
| PARAM_COMPARE | 0 | es->num_entries | > $1 |
| PARAM_COMPARE | 1 | num | < $0->num_entries |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | es->sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | es->sb->s_blocksize_bits | |
| HALF_LOCKED2 | &sbi->s_lock |
fs/exfat/dir.c exfat_write_volume_label() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 5986759141478764544 |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 1 | num | 0 |
| CAPABLE | 0 | 21 | |
| MEM_ZERO | 0 | es | |
| LOCK2 | &sbi->s_lock | ||
| TYPE_LOCK | (struct exfat_sb_info)->s_lock |
fs/exfat/inode.c __exfat_write_inode() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3665638256698089472 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/exfat/inode.c __exfat_write_inode() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3665638256698089472 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/exfat/namei.c exfat_count_extra_entries() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3645734142746451968,8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 1 |
| DATA_SOURCE | 0 | es | $0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &rd.old_parent->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/exfat/namei.c exfat_find() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 4213242667796885504 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dir->i_rwsem |
fs/exfat/namei.c exfat_find() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 4213242667796885504 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dir->i_rwsem |
fs/exfat/namei.c exfat_move_file() -> exfat_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3645734142746451968 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| 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_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| 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_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 3645734142746451968 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 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_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 1512238112902008832 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 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_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| 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_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 5792618027727773696 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 0 |
| 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_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 8532271618055139328 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 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_get_dentry_cached()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | es | 5792618027727773696 |
| PARAM_VALUE | 0 | es->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | es->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | es->start_off | 0-4294967264 |
| PARAM_VALUE | 1 | num | 1 |
| MEM_ZERO | 0 | es | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |